(* Factorielle (* version récursive *) *) let rec fact ( n : int ) : int = if n=0 then 1 else n * fact (n-1) in print_int( fact 5 ) ;;