Implémentation de l’algorithme de balayage dans le solveur de contraintes Choco