completion de l'elimination de la recursion droite
Merge branch 'master' of https://github.com/sagotch/cours