BookeldOr (./551) :
Juste pour dire que vous délirez avec les () qui n'existent pas, ou sont "optimisés"...Ça n'est pas possible "à cause" du polymorphisme.

J'aurais eu cru que quand ça aurait été possible ç'eût été fait.
Mais http://www.ocaml-tutorial.org/performance_and_profiling (par exemple la fonction de la section "Tail recursion")