Tu m´as fait peur.
Simple curiosité hors-sujette, Caml le fait ?
oui.
On peut le tester avec ce genre de code :
let rec f a=1+(f a);;let rec g a=g (a+1);;
si on appelle la première fonction il plante tout de suite (out of memory), mais il ne s´arrète jamais pour la deuxième.