Algorithme d'arc consistance de contraintes alldiff