note
Si vous réutilisez votre partition EFI (qui a été créée par Windows précédemment (ou tout autre OS), alors il n'est pas nécessaire de la formater. Le formatage effacera le chargeur de démarrage précédent. Seul le montage de la partition EFI en tant que /boot/efi est nécessaire dans ce cas.