Début d'implémentation du solver