Une contrainte globale pour le problème de l'isomorphisme de graphes.