Le lecteur ne peut pas être chiffré tant que le débogage de démarrage est activé. Utilisez l'outil de ligne de commande bcdedit ...