Contraintes Et Hypothèses Clauses Exemplaires