// constraints
// repartition sur les plages horaires
// les creneaux a placer ne doivent pas l'etre en meme temps
Constraint c1 = Choco.disjunctive(creneauxAPlacer);
m.addConstraint(c1);
// precedences
Constraint[] c2 = new Constraint[preced.length];
for(int i = 0; i < c2.length; i++) {
c2[i] = Choco.startsAfterBegin(preced[i].getCours2(), preced[i].getCours2(), preced[i].getDureeMinEntre());