logique:raisonnement_par_recurrence