Bonjour,
J'ai désactivé le secure boot, et j'ai pu démarrer, d'abord en moe dégradé, puis après relance en mode normal.
Voici la réponse à la commande préconisée par Inbox :
louis@louis-All-Series:~$ dpkg -l | grep ^i | grep linux-image
ii linux-image-4.15.0-111-generic 4.15.0-111.112 amd64 Signed kernel image generic
ii linux-image-4.15.0-112-generic 4.15.0-112.113 amd64 Signed kernel image generic
ii linux-image-generic 4.15.0.112.100 amd64 Generic Linux kernel image
louis@louis-All-Series:~$