Merci beaucoup!
Quelques précisions: sur la référence que tu donnes (
https://debian-facile.org/doc:install:d … -problemes) il y a une autre commande qui a le même objectif:
bcdedit /set '{bootmgr}' path \EFI\debian\grubx64.efi
Cell-ci marchait sur ma machine, en remplaçant "debian" par "Mint" (oui, je suis sur Mint). Et... Mon dual-boot est revenu
:):)
Vu que c'est là-dessus que j'ai tout mon travail, t'imagines mon soulagement!
Je me suis donc inscrit sur ce forum juste pour dire: Merci, merci, merci!!