https://123dok.net/document/qo5lxpv7-langage-fonctionnel-ecursivit-programmation-fonctionnelle-master-i-apprentissage.html