Rajout d'un include qui manquait
Début du solver (fin tout début)