Merci pour ta réponse, Clochette.
En fait, j’ai supprimé une des partitions windows, après avoir copié les fichiers. (J’hésitais, je ne connais rien à windows et je craignais effacer des fichiers système…)
J’ai créé ensuite une partition étendue, avec une partition racine, /home, swap, et partition d’échange en fat32.
L’installation s’est bien passée, grub fonctionne bien gentiment, tout démarre, windows.
Que demande le peuple ?
Je peux passer en résolu, je crois bien…
[edit : j’ai préparé le partitionnement à partir d’un live CD contenant gparted (suppression/création de la partition, formatage)]