En quoi le chiffrement de la machine devrait imposer la réinstallation de l’OS ?