UEFI: single boot Debian OK, dual boot Windows/Debian KO

UEFI: single boot Debian OK, dual boot Windows/Debian KO

Bonjour à tous,
Si quelqu'un a une idée pour résoudre le problème ci-dessous, merci
d'avance!

_le_problème_:

Grub fonctionne très bien en single boot Debian, mais n'apparaît nulle
part en dual boot Windows 8 et Debian (démarrage de Windows sans écran
de choix).

_le_contexte_:

Soit un laptop HP Pavilion DM1-4433sf neuf, doté d'un UEFI, d'un
processeur amd64 et d'un disque partitionné en GPT, préinstallé en
Windows 8.
J'ai paramétré l'UEFI de la machine avec Secure Boot et Legacy MBR
désactivés tous les deux.
Lorsque j'installe (mode expert) Debian amd64 (Testing ou Sid) en
dual-boot après avoir réduit l'espace disque alloué à Windows,
Grub-efi-amd64 s'installe sans message d'erreur ni sans me demander où
s'installer (j'ai déclaré lors du partitionnement la partition BOOT-EFI
de Windows comme étant la partition BOOT-EFI à utiliser).
Lors du démarrage du PC, Grub n'apparaît pas, le bootloader Windows
n'apparaît pas non plus et Windows démarre.
Je peux quand même à chaque démarrage appuyer sur F9 pour choisir le
media de boot, l'option "Debian" apparaît alors et si je la sélectionne,
Grub me permet de faire démarrer Debian (ou Windows).
Si je repartitionne le disque pour virer Windows et installer Debian en
single boot, aucun problème: Grub apparaît au démarrage et je peux
démarrer Debian.

_mes_manips_:

- j'ai essayé de modifier l'ordre des médias de boot par une commande:
$ efibootmgr -B 2001,0004,0002,0000,0001
sans résultat (démarrage de Windows, sans écran de choix).
- j'ai essayé de remplacer directement ce que je pensais être le code de
démarrage Windows par celui de Debian:
$ cp -av boot/efi/EFI/debian/grubx64.efi /boot/efi/EFI/Boot/bootx64.efi
sans résultat (démarrage de Windows, sans écran de choix).

_les_infos_:

root@hp-dm1-didier:/home/didier# efibootmgr -v
BootCurrent: 0004
Timeout: 2 seconds
BootOrder: 3002,3004,0000,0001,2001,2002,2003
Boot0000* Network Adapter (IPv4 UEFI)
ACPI(a0341d0,0)PCI(15,1)PCI(0,0)MAC(38eaa7f07e39,0)IPv4(0.0.0.0:0<->0.0.0.0:0,0,
0RC
Boot0001* Network Adapter (IPv6 UEFI)
ACPI(a0341d0,0)PCI(15,1)PCI(0,0)MAC(38eaa7f07e39,0)030d3c000000000000000000000000000000000000000000000000000000000000000000000000000000004000000000000000000000000000000000RC
Boot0002* Windows Boot Manager
HD(1,c8800,82000,3d5fad70-f450-4715-a09c-4ff5239bb5a9)File(EFIMicrosoftBootbootmgfw.efi)WINDOWSxB.C.D.O.B.J.E.C.T.=.{.9.d.e.a.8.6.2.c.-.5.c.d.d.-.4.e.7.0.-.a.c.c.1.-.f.3.2.b.3.4.4.d.4.7.9.5.}9.
Boot0004* debian
HD(1,c8800,82000,3d5fad70-f450-4715-a09c-4ff5239bb5a9)File(EFIdebiangrubx64.efi)
Boot2001* USB Drive (UEFI) RC
Boot3002* Internal Hard Disk or Solid State Disk RC
Boot3004* Internal Hard Disk or Solid State Disk RC

root@hp-dm1-didier:/home/didier# find /boot -name *.efi
/boot/grub/grub.efi
/boot/grub/core.efi
=/boot/efi/EFI/Microsoft/Boot/bootmgfw.efi
/boot/efi/EFI/Microsoft/Boot/bootmgr.efi
/boot/efi/EFI/Microsoft/Boot/memtest.efi
=/boot/efi/EFI/Boot/bootx64.efi
/boot/efi/EFI/HP/SystemDiags/SystemDiags.efi
/boot/efi/EFI/HP/SystemDiags/CryptRSA.efi
/boot/efi/EFI/HP/SystemDiags/SystemDiags32.efi
/boot/efi/EFI/HP/SystemDiags/CryptRSA32.efi
/boot/efi/EFI/HP/BIOSUpdate/HpBiosUpdate.efi
/boot/efi/EFI/HP/BIOSUpdate/CryptRSA.efi
/boot/efi/EFI/HP/BIOSUpdate/HpBiosUpdate32.efi
/boot/efi/EFI/HP/BIOSUpdate/CryptRSA32.efi
=/boot/efi/EFI/HP/boot/bootmgfw.efi
/boot/efi/EFI/HP/boot/bootmgr.efi
/boot/efi/EFI/HP/boot/memtest.efi
/boot/efi/EFI/HP/EFI/Boot/bootx64.efi
/boot/efi/EFI/HP/EFI/Microsoft/Boot/memtest.efi
/boot/efi/EFI/debian/grubx64.efi
(les fichiers devant lesquels j'ai placé un signe "=" sont strictement
identiques)

--
Lisez la FAQ de la liste avant de poser une question :
http://wiki.debian.org/fr/FrenchLists

Pour vous DESABONNER, envoyez un message avec comme objet "unsubscribe"
vers debian-user-french-REQUEST@lists.debian.org
En cas de soucis, contactez EN ANGLAIS listmaster@lists.debian.org
Archive: http://lists.debian.org/kl2u4a$l67$1@ger.gmane.org