Source: https://paestel.fr/sites/default/files/Mat_les_ressources/Terminale/Atelier, problème/mlr-raisonnement_par_recurrence.pdf