Vérification du CML