Bonjour,
Comme l'a dit lucmars, lors de la génération du fichier de configuration de Grub, toutes les partitions EFI seront ajoutées au menu de démarrage. Si ce n'est pas le cas, repérer et monter la partition EFI de Windows puis regénérer le fichier :
grub-mkconfig -o /boot/grub/grub.cfg
Une entrée sera ajoutée indiquant le chemin vers le fichier .efi ainsi que les options de boot.
Il peut arriver que Windows crée automatiquement sa partition EFI sur un disque différent (par exemple le même que Linux), ce qui peut parfois poser problème lors de la réinstallation de Linux car en général on supprime toutes les partitions du disque. Dans ce cas, je vous recommande de
recréer la partition EFI sur le disque dédié à Windows et de supprimer l'autre par soucis de prévoyance.
Cependant je crois ne pas me tromper en disant que Windows privilégie le disque NVMe pour cette partition, sans doute cela ne vous posera donc pas de problème.
Après installation de Windows, il faudra modifier l'ordre de boot dans le BIOS pour démarrer sur Grub.
Le HDD restera dans le même état qu'à l'origine si l'on n'y touche pas, l'installation Windows se faisant sur un autre disque la partition ne sera pas supprimée.
En espérant que cela répond à toutes vos questions 🙂
