Bonjour,
Le samedi 28 mars 2015, andre_debian@numericable.fr a écrit...
> J'ai réussi à afficher le boot grub en modifiant le répertoire
> /boot/efi/EFI... enfin !
> Cependant pour l'avoir, je dois appuyer sur F9 au boot du PC.
> Pas trop grave, je verrai comment avoir le boot grub directement
> plus tard.
La page qui m'avait dépanné :
http://tanguy.ortolo.eu/blog/article51/debian-efi
--
jm