Bon, en fait c'est un #dpkg-reconfigure grub-efi-amd64 qui me sauve.
Mon problème est donc résolu, mais je ne comprends pas pourquoi ça n'a pas
fonctionné lors de la mise à jour.

-- 
Christophe

(sous Debian GNU/Linux - https://www.debian.org)

Répondre à