Finalement, étant donné que mon disque dur externe n'a pas l'air suffisamment performant pour faire tourner correctement le système d'exploitation (c'est un HDD, et Finder et quelques autres applications qui plantent, lenteur au démarrage, etc), et que je préfère ne pas formater le disque dur du...