La solution de facilité consiste à remplacer le dossier EFI du dd interne par celui du dd externe. Pour ça il faut monter l'EFI du dd externe sur le bureau (faire un diskutil list pour connaître le numéro de device, ce sera disk2s1 ou disk3s1 ou disk4s1...) , copier le dossier EFI qui est à l'intérieur quelque part sur le dd interne, éjecter cette partition EFI du dd externe puis monter l'EFI du dd interne :
[CODE]sudo diskutil mount disk0s1[/Code]
Ensuite tu remplaces le dossier EFI du dd interne par le dossier EFI du dd externe.
À ce moment là les deux EFI seront strictement identiques et tu devrais pouvoir démarrer à partir de l'EFI du dd interne.
