J'ai un Macbook Air qui démarre à la fois MacOS Catalina et Debian10 buster. Je maintiens la touche option au démarrage pour choisir le système que je veux. Dans le gestionnaire de démarrage, il y a cette partition efi ( https://imgur.com/xKoQiEK ) que j'aimerais supprimer, car il ne démarre rien d'autre que grub bash minimal ( https://imgur.com/a/T5bpHAp ), mais je n'ai pas été en mesure d'identifier cette partition, ni avec le logiciel 'diskutils' de MacOS, ni avec le logiciel 'fdisk' de Debian.
Comment puis-je supprimer cette partition ? 
EDITAR:
Commandement diskutil list disk0 de la production :
/dev/disk0 (internal, physical):
#: TYPE NAME SIZE IDENTIFIER
0: GUID_partition_scheme *512.1 GB disk0
1: EFI EFI 209.7 MB disk0s1
2: Apple_APFS Container disk1 305.9 GB disk0s2
3: Microsoft Basic Data 205.5 GB disk0s3
4: EFI NO NAME 536.9 MB disk0s4
