Dernier message de la page précédente :
Bonjour à tous,merci à tous de vos précieux conseils, j'ai tenté de m'inspirer de toutes vos idées, mais en vain...
Même avec un disque bootable de Gparted (merci à Cyrille pour l'info, mais voir plus loin) , pas moyen d'avoir plus de 20Go sur le disque occupé par W10, alors qu'il me dit qu'il y a 350Go de libre. Je pense qu'effectivement, W10 a mis des fichiers indéplaçables au bout de sa partition, et Gparted m'enfume avec le paquet manquant comme dit Alain. Même en faisant une récupération de W10 avec effacement des données, rien à faire, jamais pus de 20Go de dispo pour une nouvelle partition.
Donc finalement, j'ai pris ces 20Go pour installer Mint, j'ai mis le /home et le swap sur un morceau de 10Go qui semblait libre, et je laisserai les gros documents sur le Public de W10.
Il me reste une piste non explorée :
Si c'est le secure boot de l'UEFI permettant de booter sur autre chose, c'est fait, pour le Gparted bootable et le .iso Mint. Si c'est autre chose, ça m'intéresse...Alain : il faut désactiver le "démarrage rapide " de W10.
Alors pour le Gparted, @Cyrille:
ils proposent le téléchargement d'un .exe à l'air douteux... Tu l'as essayé ? J'avoue que je me suis dégonflé ...
par contre :
marche nickel, ça a l'air du 32bits en première page mais en allant derrière, ils proposent une version 64 bits bootable, installable sur le "Créateur de disque de démarrage".
Bon, je fais deux ou trois dernières tentatives avant de mettre le sinistre "abandon" ...
A+ et encore merci à tous !