Vérification des contrats