Je me suis mis au travail et j’ai résolu ce problème samedi, avec l’aide d’ask.discourse cette fois-ci.
J’ai découvert que nous avions une configuration de volumes non standard, avec les téléchargements et les sauvegardes sur un disque secondaire. Ce qui n’aurait pas posé de problème, mais lorsque nous avons augmenté le disque de données de 20 Go à 30 Go, nous avons oublié d’en informer le système de fichiers !
Une fois cela corrigé, j’ai maintenant de la marge pour quelques années.