Bonjour,J'ai essayé de lancer à partir d'une clé USB la debian-live-10.2.0-amd64-mate.iso sur mon Galaxy Book qui fonctionne sous Windows 10.
Je n'obtiens, sur écran noir que le numéro de version de grub et le prompt "GRUB>"
Y a-t-il une commande à taper? Faut-il modifier quelque chose dans le bios? Merci de vos lumières