remplie les methodes resoudre() et verifContraintes()