Les relations fortement rigides jouent un rôle important dans l’étude de la complexité des problèmes de satisfaction de contraintes (CSPs) (Feder et Vardi [22], Schaefer [9], Jeavons [23], Bulatov, Jeavons et Krokhin [24], Larose et Tesson [34], ...