bon mea culpa, c'est moi la daube...
Avis à ceux qui ne le sauraient pas : ne pas "dé-ghoster" dans une partition "trop juste" en taille. pas possible de décompresser 700Mo (soit 1,25Godécompressés) dans une partition de 1,5Go. Il faut alors augmenter la taille de la partition à 2Mo (peut-être moins suffit, je n'ai pas essayé.)