3 résultats : problème de satisfaction de contraintes