Contraintes booléennes et gestion d'arbres des défaillances.