Réduire une partition"

Diminuer une partition de disque dur.

Utilisée en informatique, cette expression fait référence à la partition d'un disque dur, c'est-à-dire à l'une de ses parties dont on diminue le volume, le plus souvent dans le but de créer une autre partition.