Le branch&prune avec les techniques d'intervalles, c'est très bien quand tu as besoin de toutes les solutions. S'il te suffit d'avoir une solution, il y a des méthodes plus rapides (par exemple le Newton classique sur des points plutôt que la variante qui travaille sur des intervalles, mais avec recherche de ligne pour garantir une meilleure convergence).