Source: https://zestedesavoir.com/tutoriels/pdf/512/le-raisonnement-par-recurrence.pdf