Lui alloué plus de place?
https://www.commentcamarche.net/faq/11611-gparted-gnome-partition-editor
Ici tu auras un exemple pour redimensionner une partition, mais tu devras le faire en liveCD
car tu ne peux pas travailler sur une partition montée, ou alors depuis un autre GNU/Linux.
