Merci alain!
By the way, il me semble que pour un autre post que j'avais ouvert il y a 5 ans tu m'avais déjà bien aidé, donc... "Big up", comme on disait dans les 90s...
Voici donc l'évolution de mes interrogations.
Je mets de petites choses
en gras pour faciliter la lecture.

Tout d'abord, j'avoue que
je ne comprends pas ce "sda1". Je ne sais pas si c'est un disque système, si c'est le seul, et à quoi il est destiné. Une recherche rapide sur Google ne donne rien à part des masses de choses qui ne portent pas exactement sur ces questions, ce qui prendrait donc des heures à lire.

Et donc je fais le
choix d'installer puis lancer ce ncdu sans trop chercher à comprendre. Bonne nouvelle: cela fonctionne.
Quand je le lance, ça me renvoie une arborescence, avec dossiers, sous-dossiers et fichiers, et leur taille, intelligemment classée par tailles décroissantes, dans laquelle je peux naviguer avec flèches et Entrée.
Mais je n'y comprends pas grand chose:
- l'arborescence a pour racine un certain dossier /var
- sans que je comprenne le lien que ce dossier peut avoir avec ce disque sda1 qu'il me faut vider ou agrandir
- étant donné que via le browser par défaut (Caja) ce dossier /var n'est qu'un des multiples dossier de ma racine

Avant même, donc, de mentionner les gros fichiers que fait apparaître l'ami ncdu, j'aimerais éclaircir ces détails:
- Comment savoir si le contenu de
ce dossier /var est forcément contenu dans la partition sda1?
-
Si oui, alors
comment savoir si je peux juste supprimer directement tel ou tel fichier, ou si je dois le faire à travers une autre manip' (désinstaller un programme par exemple, ou supprimer des sauvegardes système, ou vider des fichiers temporaires, que sais-je...)
?
-
Si non, alors
comment atteindre les fichiers stockés dans la partition sda1?

Maintenant, sans savoir si c'est utile, voici
quelques constats sur les gros fichiers qui apparaissent
via ncdu dans ce dossier /var:
Déjà une
chose étrange (en présumant que "Gib" signifie Go). Le dossier /var/lib/flatpak est noté à 14,3 Go, mais à l'intérieur il y a entre autres deux dossiers, /repo noté à 13,0 Go et /runtime noté à 11,1 Go - donc
deux sous-dossiers dont la somme des tailles dépasse celle du dossier parent. Et pourtant, il semble bien que la taille indiquée d'un dossier n'inclue pas que la taille de ses fichiers, mais aussi de ses sous-dossiers. Ou peut-être seulement une partie?
Cette chose étrange étant notée, voici la
liste des très gros dossiers et fichiers.
- Il y a ce dossier
var/lib/flatpak/runtime, qui semble contenir des applications installées, par exemple Gimp, mais pas très utile parce que les quelques grosses applis m'ont l'air d'être des trucs structurels à ne pas supprimer (5 dépassent 1 Go: org.gnome.Platform, org.freedesktop.Platform, org.kde.Platform, org.freedesktop.Platform.GL.default et org.freedesktop.Platform.GL.Debug.default).
- Et il y a ce dossier
var/lib/flatpak/repo/objects, qui contient environ
160000 fichiers et dossiers, le plus grand faisant 330Mo et dont 17 seulement dépassent les 100Mo.
- Plus secondairement, il y a ce dossier
var/lib/flatpak/app, qui contient 9 dossiers qui représentent des applications (dont, curieusement, à nouveau Gimp, mais aussi Discord, Skype, Zoom...). Je pourrai par exemple désinstaller Zoom et libérer 700Mo, pas totalement négligeable, mais
peu en comparaison des 13Go du dossier repo/objects.
Voici donc où j'en suis. Mon grand-père disait "mieux vaut un qui sait que dix qui cherchent". Ceux d'entre vous est déjà passés par là voient peut-être déjà une solution évidente?

Je mentionne une
autre piste. D'après Disques,
le même disque physique qui contient la partition sda1 pleine contient également une autre partition, "de travail" sur laquelle je stocke tout un tas de choses, qui a
100Go de libres. Y aurait-il
moyen de juste rogner sur ce disque pour augmenter la taille de sda1? Ce serait déjà une
solution provisoire. Même s'il faudrait comprendre comment sda1 a pu se remplir en continu.
Si vous m'avez lu jusque là, sachez que je suis super touché. Et même si vous avez juste parcouru avec intérêt ce qui est en gras!
Mille mercis.
Rémi