Ajout de la fonction de vérification de la solution