J’hésite à refaire une partition pour bouger le /home vers là, mais du coup, quelle taille?

Steam, même en mettant les jeux ailleurs, prend genre 10 GB à lui tout seul (notamment pour Proton, qui ne peut pas être déplacé) Apparemment les symlinks ne sont pas conseillés car Steam ne fonctionnerait pas correctement.

Là il me reste 2.2 GB de libre, ça commence à faire court