Le 23/02/2023 à 15:33, Haricophile a écrit :
Le Thu, 23 Feb 2023 14:27:18 +0100,
Avant d'accuser Grub de quoique ce soit, dans le cas des ordinateurs modernes, donc pas sous BIOS mais UEFI, il faut configurer UEFI pour démarrer sur le bon système.
[...] tu as raison :-)