Bonjour,
Merci pour ce retour d'expérience.
Ca m'a bien aidé aussi. Je reprend les étapes que j'ai suivies, avec la suppression de la partition problématique à la fin :
Depuis le mode "Recovery" (cmd + R au démarrage), lancement de l'utilitaire de disque, et création d'une nouvelle partition...