C'est tp de méthode de résolution. On a utilisé le choco : http://choco-solver.org/