(define (fact-aux n compteur produit) (if (> compteur n) produit (fact-aux n (+ compteur 1) (* compteur produit)))) (define (fact n) (fact-aux n 1 1))