J'ai édité, en fait majorer la complexité c'est juste moins précis
. Ici ce qu'on veut calculer c'est bien le nombre d'arbres différents dans le pire cas (ou dit autrement, le nombre de façons de faire les opérations pouvant donner des résultats a priori différents quand on ne connaît pas les nombres), et pour ce calcul (qui lui est précis) il y a bien une différence entre être le majorant le plus fin partout et avoir le même comportement asymptotique ^^