Bonjour et merci pour cette remontée. J'ai corrigé la doc.
Normalement tu devrais avoir un /boot d'environ 1Go pour être tranquile. Et un /boot/efi de 200Mo (ou 100Mo) ça depent peut être des constructeurs, mais c'est largement suffisant (j'utilise que 19Mo par ex mais j'ai que Fedora dans mes bootloaders EFI).
Ex de partitionnement par défaut sur Fedora avec un SSD de 120Go:
NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT
sda 8:0 0 111,8G 0 disk
├─sda1 8:1 0 200M 0 part /boot/efi
├─sda2 8:2 0 1G 0 part /boot
└─sda3 8:3 0 110,6G 0 part
├─fedora-root 253:0 0 50G 0 lvm /
├─fedora-swap 253:1 0 7,8G 0 lvm [SWAP]
└─fedora-home 253:2 0 52,8G 0 lvm /home