Reprennez tous les sous-programmes de l'exercice précédent et rédigez-les sous forme récursive terminale. Vous prouverez par récurrence la validité de chacune d'elle.