Réduire la taille de l’espace réservé pour une partition ext3