implémentation de la class Solver