De toute façon c'est tellement flexible, la récursivité terminale...

Et puis la récursivité terminale n'est pas une propriété de la fonction, c'est une propriété de l'appel : il faudrait donc marquer l'appel spécialement pour spécifier qu'il doit être récursif terminal, par exemple tail_recursion(main,()), ou, puisqu'on ne peut appeler récursive-terminale-ment que la fonction en cours (enfin je sais pas, peut-être que certains compilos peuvent faire ça avec n'importe quelle fonction ?), tail_recursion() tout court ^^