Vérification des machines virtuelles dans eXR