Create solveur.py