Comment redimensionner une partition sur un disque dur ?

Solution : en vous aidant de parted.