Source: http://hgurgey.free.fr/IMG/pdf/Raisonnement_par_recurrence.pdf