https://123dok.net/document/q5m3vl0g-chapitre-exercices-récursivité-prouver-correction-terminaison-fonction-suivante.html