Algèbres de contraintes efficaces avec des fonctions de structure | Synapse