Je cherchais, mais je n'ai pas trouvé de moyen évident de savoir si GRUB utilise UEFI au démarrage du système, dans le mode de compatibilité du BIOS ou dans un BIOS à part entière. Je n'ai trouvé que des méthodes Windows . Existe-t-il quelque chose dans les journaux de démarrage du noyau ou de GRUB...