\section{Problème 1}

Modélisation et résolution du problème des quatre cubes avec le solveur Choco \cite{chocoSolver}.