Premier commit pour le solveur