oulà, ça a un succès fou
de toute façon ce n'est pas le même usage, List.fold_left correspond au parcours récursif terminal, donc c'est forcément utile bcp plus souvent (surtout que ça exigerait de définir une fonction auxiliaire avec un argument supplémentaire si on voulait s'en passer), alors List.fold_right n'est pas récursif terminal (donc ça bouffe O(n) octets sur la pile ), et peut de toute façon être remplacé facilement par un pattern-matching sans avoir à définir une fonction auxiliaire ^^