mise à jour du dépot
mise à jour du script des benchmarks afin de tester soit tous le monde, soit juste 1 solveur
Merge pull request #8 from Mystelven/valentin

Valentin