Merci à vous deux pour les réponses !
J'ai réussi à exécuter l'arbre et je comprend mieux le résultat (et j'ai enfin compris quand est-ce que la complexité d'un algorithme pouvait être exponentielle YES !)
J'en déduis aussi que chaque branche de l'arbre ne s'arrête que quand elle produit un résultat qui est ici, soit 0 soit 1.
Bonne soirée :-)