(* Coefficients du binôme *) let rec binome n p=match (n,p) with |(0,0)->1 |(0,_)->0 |(n,p)->binome (n-1) p +binome (n-1) (p-1) ;; trace "binome";; binome 8 (-4);; binome 8 5;; binome 8 11;;