Fin d'implémentation des méthodes de vérification