Rhââââ, j'ai trouvé !
Le pire, c'est que ça m'est déjà arrivé... La partition / était pleine, du
fait d'un disque USB mal remonté, sur lequel se fait un backup depuis
l'extérieur. Du coup, au lieu d'écrire sur le disque, ça a écrit sur /...
Tout est rentré dans l'ordre.
--
Frédéric