Resumer-raisonnement-par-recurrence