En supposant que tu possèdes bien une licence Windows 10 acquise légalement (donc exit les OEM ou celles vendues à moins de 100 €), tu n’as qu’à réduire ta partition de 468 Gio (disons de 100 Gio), et tu crées une nouvelle partition NTFS de 100 Gio dans l’espace non alloué qui apparaîtra.
Tu n’auras ensuite qu’à demander à l’assistant d’installation de Windows 10 de l’installer dans cette partition de 100 Gio (tu n’auras que sa taille pour la repérer).
Ensuite, pour passer d’un OS à l’autre, tu passeras par l’UEFI (ou la touche du clavier indiquée au démarrage, qui devrait te proposer un menu te demandant quel OS démarrer).
