Merci Jean, en effet, je ne l'ai pas précisé. Non, je n'appuie pas sur la touche Maj.
J'essaye de redémarrer en maintenant enfoncées les touches Option-Commande-R pour démarrer à partir du système Récupération par Internet d’OS X, mais je tombe en premier lieu sur le cadenas. C'est ennuyeux car...