Apres cette journée à tenter de formater une clef bootable -- en vain -- j'ai suivi ton conseil pour retirer complètement les deux dossiers.
J'ai trouvé la commande sur le web : sudo diskutil mount EFI
et effacé les dossiers du volume EFI.
Et me voici revenu avec mon OS Mojave quotidien !
Si mes suggestions ne fonctionnent pas (?) , il existe une configuration d'OC (pas OCLP) spécifique aux MacPro, connue sous le nom MARTIN LO: