Ethaniel (./16) :
Oh, très bien vu !Certes, on pourra argumenter du fait que l’on ait envie de calculer (4-9)+12, avec donc un nombre intermédiaire négatif

Tu peux toujours faire "redescendre" le signe moins pour qu'il s'applique uniquement aux feuilles (donc ici ça donnerait 12-(9-4) ; ton exemple utilisait l'associativité, c'est overkill et ça ne marche pas dans tous les cas)

Ethaniel (./16) :
Mais attention, il s’agit d’un simple majorant (à peine plus recherché que celui de Sally qui m’a quand même ouvert la voie) qui ne donne pas grand chose sur l’algorithme de recherche exhaustive (à part le fait qu’il sera récursif ).

La suite que tu cherches est http://www.research.att.com/~njas/sequences/A001147 à un facteur 4^(n-1) près. Asymptotiquement elle est plus grande que ta suite, donc je doute que la tienne soit un majorant

(ah tiens en fait elle y est aussi avec 4^(n-1), et même en double http://www.research.att.com/~njas/sequences/?q=4,48,960,26880&sort=0&fmt=0&language=english&go=Search )