https://123dok.net/document/q5mnk3v3-n-le-raisonnement-par-récurrence.html