Ajout d'une contrainte qui permet de casser les symétries pendant la recherche dans le cas où il n'y a pas de solution
Si il y a une solution, alors l'heuristique se charge de trouver toujours la même.