Développement : Les fonctions récursives sont lambda-définissables

Détails/Enoncé :

On encode les fonctions récursives en lambda-calcul.
Attention, beaucoup de livres donnent des preuves fausses !