nouvelle tentative de schéma de fonction récursive

autre schéma pour les fonctions de la forme :
let rec f x =
    if (condition x) then base
    else (operation (op1 (f (g1 x))) ... (opn (f (gn x))))