#1 Le 11/10/2014, à 13:28
- Zemsta
[Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Salut tout le monde,
J'ai réalisé l'installation en Dual-Boot de Debian 7.5 à coté de Windows 8.1.
Les 2 OS sont sur le même disque (SSD) avec 2 partitions distintcs + 1 disque Dur pour les Data communes.
L'installation s'est déroulée sans soucis, mise à part la partie de désactivation de l'UEFI de ma carte mère. (MSI )
Maintenant, quand je reboot, j'arrive bien sur le Grub mais je n'ai que les 2 lignes :
Debian 7.5 ...
Debian 7.5 ... (mode de dépannage)
Mais Windows n'est pas detecté, je peux toujours y accéder en modifier le boot du bios mais je dois passer par cette manipulation a chaque fois.
Ma question ici, est de savoir comment modifier le Grub et ajouter Windows aux 2 choix déjà existants ?
Si quelqu'un à des conseils, je suis preneur.
Les infos : (n'hésitez pas à demander plus si il faut)
Mon grub.cfg
cat /boot/grub/grub.cfg
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
load_env
fi
set default="0"
if [ "${prev_saved_entry}" ]; then
set saved_entry="${prev_saved_entry}"
save_env saved_entry
set prev_saved_entry=
save_env prev_saved_entry
set boot_once=true
fi
function savedefault {
if [ -z "${boot_once}" ]; then
saved_entry="${chosen}"
save_env saved_entry
fi
}
function load_video {
insmod vbe
insmod vga
insmod video_bochs
insmod video_cirrus
}
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 100dcad1-cf39-43ad-b875-49c854b1064e
if loadfont /usr/share/grub/unicode.pf2 ; then
set gfxmode=640x480
load_video
insmod gfxterm
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 100dcad1-cf39-43ad-b875-49c854b1064e
set locale_dir=($root)/boot/grub/locale
set lang=fr_FR
insmod gettext
fi
terminal_output gfxterm
set timeout=5
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 100dcad1-cf39-43ad-b875-49c854b1064e
insmod png
if background_image /usr/share/images/desktop-base/joy-grub.png; then
set color_normal=white/black
set color_highlight=black/white
else
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-686-pae' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 100dcad1-cf39-43ad-b875-49c854b1064e
echo 'Chargement de Linux 3.2.0-4-686-pae ...'
linux /boot/vmlinuz-3.2.0-4-686-pae root=UUID=100dcad1-cf39-43ad-b875-49c854b1064e ro quiet
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-686-pae
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-686-pae (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 100dcad1-cf39-43ad-b875-49c854b1064e
echo 'Chargement de Linux 3.2.0-4-686-pae ...'
linux /boot/vmlinuz-3.2.0-4-686-pae root=UUID=100dcad1-cf39-43ad-b875-49c854b1064e ro single
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-686-pae
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###
### BEGIN /etc/grub.d/41_custom ###
if [ -f $prefix/custom.cfg ]; then
source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###
fdisk -l
fdisk -l
Attention : identifiant de table de partitions GPT (GUID) détecté sur « /dev/sda » ! L'utilitaire sfdisk ne prend pas GPT en charge. Utilisez GNU Parted.
Disque /dev/sda : 256.1 Go, 256060514304 octets
255 têtes, 63 secteurs/piste, 31130 cylindres, total 500118192 secteurs
Unités = secteurs de 1 * 512 = 512 octets
Taille de secteur (logique / physique) : 512 octets / 512 octets
taille d'E/S (minimale / optimale) : 512 octets / 512 octets
Identifiant de disque : 0x02cb7596
Périphérique Amorce Début Fin Blocs Id Système
/dev/sda1 1 500118191 250059095+ ee GPT
Disque /dev/sdb : 2000.4 Go, 2000398934016 octets
255 têtes, 63 secteurs/piste, 243201 cylindres, total 3907029168 secteurs
Unités = secteurs de 1 * 512 = 512 octets
Taille de secteur (logique / physique) : 512 octets / 4096 octets
taille d'E/S (minimale / optimale) : 4096 octets / 4096 octets
Identifiant de disque : 0x4e7f0a4c
Périphérique Amorce Début Fin Blocs Id Système
/dev/sdb1 206848 3907024895 1953409024 7 HPFS/NTFS/exFAT
Parted -l
parted -l
Model: ATA SanDisk SDSSDHP2 (scsi)
Disk /dev/sda: 256GB
Sector size (logical/physical): 512B/512B
Partition Table: gpt
Number Start End Size File system Name Flags
1 1049kB 106MB 105MB fat32 EFI boot
2 106MB 240MB 134MB Micr msftres
3 241MB 182GB 182GB ntfs
4 182GB 252GB 70,0GB ext4 Debian
7 252GB 255GB 3401MB linux-swap(v1)
5 255GB 256GB 367MB ntfs hidden, diag
6 256GB 256GB 367MB ntfs hidden
Model: ATA ST2000DM001-1CH1 (scsi)
Disk /dev/sdb: 2000GB
Sector size (logical/physical): 512B/4096B
Partition Table: msdos
Number Start End Size Type File system Flags
1 106MB 2000GB 2000GB primary ntfs
Merci par avance aux personnes qui se pencheront sur ma problématique.
Zemsta.
Dernière modification par Zemsta (Le 16/10/2014, à 15:05)
Hors ligne
#2 Le 13/10/2014, à 12:48
- Draco300
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Bonjour,
Est-ce que la commande
sudo update-grub
ne serait pas ce que tu cherche ?
Dernière modification par Draco300 (Le 13/10/2014, à 12:49)
Il y a 10 sortes de personnes, celles qui comprennent le binaire, celles qui ne le comprennent pas et celles qui ont cru que cette blague était en base 2.
Hors ligne
#3 Le 13/10/2014, à 18:06
- malbo
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Le résultat de ta commande Parted -l révèle que Windows 8.1 est installé en mode EFI sur ton SSD (sur une table de partition GPT - comme c'est le cas de ton SSD - Windows 7 et Windows 8 s'installent forcément en mode EFI).
D'autre part, on voit dans ton grub.cfg que Ubuntu démarre sur le fichier /boot/vmlinuz-3.2.0-4-686-pae. La mention 686 dans ce fichier indique qu'il s'agit d'une version 32 bits et une version 32 bits ne peut pas s'installer en mode EFI donc elle est forcément installée en mode Bios (non-EFI).
Avec une telle configuration de ton dual-boot, il n'est pas possible d'avoir une entrée pour démarrer Windows 8 dans Grub : pour que ce soit possible, il faudrait que tu installes une version 64 bits de Debian 7.5 parce qu'elle est compatible d'une installation en mode EFI (je suis sûr que ça marche avec cette version parce que j'ai trouvé ce tuto qui mentionne l'ISO utilisé à "ÉTAPE 6: Préparation" : c'est debian-7.5.0-amd64-DVD-1.iso)
Dernière modification par malbo (Le 13/10/2014, à 18:09)
Hors ligne
#4 Le 14/10/2014, à 22:02
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Merci a tous les 2 pour vos retours ! Sorry pour le retard ( boulot prenant )
@Draco300 : Déjà essayé et cela ne change rien.
@malbo : Merci de cette astuce, je teste des que j'ai un moment pour refaire cette installation et je reviens confirmer.
Bonne soirée à vous deux.
Zemsta
Hors ligne
#5 Le 15/10/2014, à 21:58
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Me revoila après avoir effectué une installation avec debian-7.5.0-amd64-DVD-1.iso, seulement cela ne semble pas corriger mon problème ici.
Mon grub.cfg après un update-grub.
cat /boot/grub/grub.cfg
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
load_env
fi
set default="0"
if [ "${prev_saved_entry}" ]; then
set saved_entry="${prev_saved_entry}"
save_env saved_entry
set prev_saved_entry=
save_env prev_saved_entry
set boot_once=true
fi
function savedefault {
if [ -z "${boot_once}" ]; then
saved_entry="${chosen}"
save_env saved_entry
fi
}
function load_video {
insmod vbe
insmod vga
insmod video_bochs
insmod video_cirrus
}
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 9bea3265-12bc-46ee-a71d-8ab5e0427cb0
if loadfont /usr/share/grub/unicode.pf2 ; then
set gfxmode=640x480
load_video
insmod gfxterm
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 9bea3265-12bc-46ee-a71d-8ab5e0427cb0
set locale_dir=($root)/boot/grub/locale
set lang=fr_FR
insmod gettext
fi
terminal_output gfxterm
set timeout=5
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 9bea3265-12bc-46ee-a71d-8ab5e0427cb0
insmod png
if background_image /usr/share/images/desktop-base/joy-grub.png; then
set color_normal=white/black
set color_highlight=black/white
else
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 9bea3265-12bc-46ee-a71d-8ab5e0427cb0
echo 'Chargement de Linux 3.2.0-4-amd64 ...'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=9bea3265-12bc-46ee-a71d-8ab5e0427cb0 ro quiet
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 9bea3265-12bc-46ee-a71d-8ab5e0427cb0
echo 'Chargement de Linux 3.2.0-4-amd64 ...'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=9bea3265-12bc-46ee-a71d-8ab5e0427cb0 ro single
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-amd64
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/30_os-prober ###
### END /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###
### BEGIN /etc/grub.d/41_custom ###
if [ -f $prefix/custom.cfg ]; then
source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###
Hors ligne
#6 Le 15/10/2014, à 22:06
- Korak
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Bonjour,
As-tu modifié ton BIOS pour être en mode UEFI?
Pour que le dualboot fonctionne sans problème, il faut que Windows et Debian soient installés dans le même mode.
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#7 Le 15/10/2014, à 22:10
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Bonsoir,
Le bios est actuellement en mode legacy + UEFI.
J'ai aussi désactivé le fast boot de Windows pour tester.
Cela ne change rien.
Dernière modification par Zemsta (Le 15/10/2014, à 22:11)
Hors ligne
#8 Le 15/10/2014, à 22:13
- Korak
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Le bios est actuellement en mode legacy + UEFI.
Personnellement, je mettrais le BIOS en mode UEFI uniquement.
Puis j'installerais Debian.
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#9 Le 15/10/2014, à 22:17
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Je crois avoir essayé car par défaut le bios était en UEFI et j'avais des problème pour faire détecté la clé USB.
Je peux réessayer ça va prendre 30 min je pense. Mais avant, tu ne vois pas d'autre piste à vérifier ?
Hors ligne
#10 Le 15/10/2014, à 22:23
- Korak
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Tu ne sais pas essayer avec un LiveDVD de Debian?
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#11 Le 15/10/2014, à 22:25
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Je n'en ai pas sous la main, ni le moyen d'en faire la gravure à l'heure actuelle.
Ecoute, je reinstaller en UEFI tout court et je reviens dire ce qu'il en est.
A toute suite Merci encore pour ton aide.
Hors ligne
#12 Le 15/10/2014, à 22:49
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Me revoila, pour te remercier Korak.
Le fait de passer le BIOS en mode UEFI uniquement et de refaire l'installation ma finalement donné une entrée Windows dans mon GRUB.
cat /boot/grub/grub.cfg
#
# DO NOT EDIT THIS FILE
#
# It is automatically generated by grub-mkconfig using templates
# from /etc/grub.d and settings from /etc/default/grub
#
### BEGIN /etc/grub.d/00_header ###
if [ -s $prefix/grubenv ]; then
load_env
fi
set default="0"
if [ "${prev_saved_entry}" ]; then
set saved_entry="${prev_saved_entry}"
save_env saved_entry
set prev_saved_entry=
save_env prev_saved_entry
set boot_once=true
fi
function savedefault {
if [ -z "${boot_once}" ]; then
saved_entry="${chosen}"
save_env saved_entry
fi
}
function load_video {
insmod efi_gop
insmod efi_uga
insmod video_bochs
insmod video_cirrus
}
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 4bca3f76-178b-4030-8ebf-fd8a03efac48
if loadfont /usr/share/grub/unicode.pf2 ; then
set gfxmode=640x480
load_video
insmod gfxterm
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 4bca3f76-178b-4030-8ebf-fd8a03efac48
set locale_dir=($root)/boot/grub/locale
set lang=fr_FR
insmod gettext
fi
terminal_output gfxterm
set timeout=5
### END /etc/grub.d/00_header ###
### BEGIN /etc/grub.d/05_debian_theme ###
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 4bca3f76-178b-4030-8ebf-fd8a03efac48
insmod png
if background_image /usr/share/images/desktop-base/joy-grub.png; then
set color_normal=white/black
set color_highlight=black/white
else
set menu_color_normal=cyan/blue
set menu_color_highlight=white/blue
fi
### END /etc/grub.d/05_debian_theme ###
### BEGIN /etc/grub.d/10_linux ###
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 4bca3f76-178b-4030-8ebf-fd8a03efac48
echo 'Chargement de Linux 3.2.0-4-amd64 ...'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=4bca3f76-178b-4030-8ebf-fd8a03efac48 ro quiet
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-amd64
}
menuentry 'Debian GNU/Linux, avec Linux 3.2.0-4-amd64 (mode de dépannage)' --class debian --class gnu-linux --class gnu --class os {
load_video
insmod gzio
insmod part_gpt
insmod ext2
set root='(hd0,gpt4)'
search --no-floppy --fs-uuid --set=root 4bca3f76-178b-4030-8ebf-fd8a03efac48
echo 'Chargement de Linux 3.2.0-4-amd64 ...'
linux /boot/vmlinuz-3.2.0-4-amd64 root=UUID=4bca3f76-178b-4030-8ebf-fd8a03efac48 ro single
echo 'Chargement du disque mémoire initial ...'
initrd /boot/initrd.img-3.2.0-4-amd64
}
### END /etc/grub.d/10_linux ###
### BEGIN /etc/grub.d/20_linux_xen ###
### END /etc/grub.d/20_linux_xen ###
### BEGIN /etc/grub.d/30_os-prober ###
menuentry "Windows Boot Manager (UEFI on /dev/sda1)" --class windows --class os {
insmod part_gpt
insmod fat
set root='(hd0,gpt1)'
search --no-floppy --fs-uuid --set=root 9016-5C79
chainloader /EFI/Microsoft/Boot/bootmgfw.efi
}
### END /etc/grub.d/30_os-prober ###
### BEGIN /etc/grub.d/40_custom ###
# This file provides an easy way to add custom menu entries. Simply type the
# menu entries you want to add after this comment. Be careful not to change
# the 'exec tail' line above.
### END /etc/grub.d/40_custom ###
### BEGIN /etc/grub.d/41_custom ###
if [ -f $prefix/custom.cfg ]; then
source $prefix/custom.cfg;
fi
### END /etc/grub.d/41_custom ###
C'est parfait.
Merci, et bonne fin de soirée a toi. A une prochaine fois.
Zemsta
Hors ligne
#13 Le 16/10/2014, à 01:19
- Korak
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Le fait de passer le BIOS en mode UEFI uniquement et de refaire l'installation ma finalement donné une entrée Windows dans mon GRUB.
Reste plus qu'a modifier le titre de ton post pour y ajouter [Résolu].
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#14 Le 16/10/2014, à 06:17
- malbo
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Oui, et ce sera l'occasion de virer ce "[GRUB]" que tu as mis dans le titre et qui ne sert à rien et de mettre à la place "[Résolu]". Je te propose donc de modifier le titre de ton PREMIER message pour qu'il devienne:
[Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Dernière modification par malbo (Le 16/10/2014, à 06:18)
Hors ligne
#15 Le 16/10/2014, à 13:06
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Je vais passer pour un ignorant, mais ça fait 10 minutes que je chercher comment modifier le sujet de la discussion pour le passer en résolu, et bah je ne trouve pas. on peut me guider ?
Hors ligne
#16 Le 16/10/2014, à 13:11
- Korak
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Tu vas sur ton premier post et tu cliques sur Modifier.
Et tu sauras modifier le titre.
OS: Ubuntu 22.04 64 bits + Windows 11 64 bits en dualboot (BIOS UEFI, Secure Boot activé et table de partitions GPT)
PC portable HP 17-CP0308NF Processeur: AMD Ryzen 7 5700U avec carte graphique AMD Lucienne intégrée au processeur. Mémoire vive: 16 Go RAM
Quand vous ne trouvez pas la solution à un problème, cherchez des pistes menant à la solution !
Hors ligne
#17 Le 16/10/2014, à 15:05
- Zemsta
Re : [Résolu] Windows 8.1 n'apparait pas dans les choix du Grub
Merci, KoraK.
Bonne journée.
Hors ligne