@Sylvhem oh and for latex, remove the documentation package, it takes something like 700mo alone

@bram It's more than 1Go here! It's quite handy but I think I'll do that. Thanks for your advice :).

@bram Yes, that's kinda ugly :s.

@Sylvhem Antoher option if you can create another partition (maybe after resizing a non critical partition) , is to create a new mountpoint, for e.g. "/usr/share".

@bram

@gracie Something like this:
/dev/sda1 ==> /boot/efi (199Mo)
/dev/sda2 ==> /boot (10Go)
/dev/sda3 ==> /opt (20Go)
/dev/sda4 ==> /home (930Go)
/dev/sda5 ==> swap (16Go)
nothing (24Go)

@Sylvhem your swap is enormous, you could happily give up most of that and grow your root partition; I'd drop that into the free space, carve out a new 20Go root partition, clone your existing root to that then drop it as well, make a smaller swap out of what's left and the rest free for windows or whatever (opt looks big, too, but shrinking a populated fs is a bit riskier)

@TritTriton Peut-être… Pour l’instant j’ai réussi à réduire le problème en me débarrassant de certains composants de TeXLive (dont la documentation).
Pour la mémoire, j’ai juste suivit la documentation de Debian et mit ce qui était recommandé. Ça me semblait suffisant vu que /home et /opt sont sur des partitions dédiées.

@Sylvhem Oui, mais cette doc date de quand ? 10 Gio pour / (sans /home dedans), c’était peut-être bon il y a 10 ans (Ubuntu recommande toujours 8 Gio ?). Maintenant, même moi qui ai mis 20 Gio pour l’Arch de Primula (sur 1 Tio, avec /boot et /home sur des partitions séparées), je trouve ça limite : j’ai dû gicler récemment des anciennes versions des paquets, conservés au gré des MAJ, pour retrouver 50 % d’espace libre pour /.

@TritTriton De récemment je pense ? La documentation de Debian est mise à jour à chaque version.
Et je ne suis pas certaine que la taille des logiciels est tant augmentée que ça. Si je n’avais pas installé une architecture 32-bits supplémentaire, je serais sans doute tranquille.

@Sylvhem Tout dépend de l’usage, bien sûr : moi, je fais du polyvalent en bureautique-Internet-multimédia de base + quelques jeux comme OpenRA, Extreme TuxRacer, SuperTuxKart, Wine… De fait, mon / est pris à 11 Gio/20. Ça reste plus léger qu’un W10 nu, mais c’est vrai que si je dégageais ce qui me sert presque jamais, je repasserais sans doute sous la barre des 10 Gio occupés.

@Panda_Fuligineux J’y penserais quand je repartionnerais tout ça ^^.

@laeti Bind mounting? I never heard of that. I'll give it a look :).

@Sylvhem it's basically mounting a directory in a mountpoint.

For example, you have /dev/sda3 mounted at /srv and a directory /srv/home

You can do mount -o bind /srv/home /home and you have the content of /srv/home in /home.

@laeti Thank you for the explanation!