(* Fonction récursive terminale. Exemple d'utilisation : sum 12345 = 15 *) let sum n = let rec loop total = function | 0 -> total | n -> loop (total + n mod 10) (n / 10) in loop 0 n