Ajout d'un attribut solution au solver