Factorielle en lambda calcul avec l'aide de combinateur de point fixe