Matrice de contraintes avec domaines