mise au propre, manque plus que la documentation du solver