Sérieusement ils sortent d'où tous tes chiffres fantaisistes depuis le début ?
$ cat $(find grub-1.96 -type f -iname '*.c') | wc -l
56822
$ cat $(find grub-1.96 -type f -iname '*.h') | wc -l
10882
On est d'accord que 70 000, c'est "un peu" plus que 3 000, mais bon
Et puis grub, ce n'est pas qu'un simple bootloader hein (il sait lire plein de fs, il dispose d'un interpréteur de commandes ultra performant, il peut récupérer des images par le réseau, il peut décompresser une image avant de la loader, ...)
Y'a peut être 67000 lignes de commentaires, je sais pas j'ai pas regardé.