Decision diagrams : constraints and algorithms. (Diagrammes de décision : contraintes et algorithmes)