Programmation récursive
Version texte
Où l'on découvrira qu'une barrière d'abstraction est une généralisation des spécifications
