Programmation récursive
Version texte
Qui a la charge de la preuve que la spécification est bien respectée ?