Merci à vous pour vos interventions, idées...
Romuald, c'est une solution en effet, mais vraiment pour du dernier recours. Je préfèrerais, à mettre un Linux, faire un dual boot avec Linux et OS X... et là encore, j'aurais besoin de Cmd+R.
Ahiqar, oui, elle est bien là...
/dev/disk0 (internal...