Je confirme que je n'utilise que 5,5 gigas, c'est d'ailleurs ce qu'indique "analyseur d'utilisation des disques" (baobab).
Je viens d'agrandir encore ma partition / (en prenant sur la home) d'1,5 giga. Pour le moment il m'indique bien 1,5 giga de libre ce qui me permet à nouveau de surfer sur le web sans que Firefox se plaigne de ne pouvoir écrire dans /tmp, je me contenterai donc de cette solution (tant que le disque ne se remplit pas à nouveau par magie) mais ça ne m'explique quand même pas où sont passés mes 4 gigas manquants. Ça ne me gêne pas vraiment mais je n'aime pas les mystères non-résolus :-? (sauf sous windows car dans ce cas là il ne faut surtout pas chercher d'explication logique :lol: ).
Je viens d'agrandir encore ma partition / (en prenant sur la home) d'1,5 giga. Pour le moment il m'indique bien 1,5 giga de libre ce qui me permet à nouveau de surfer sur le web sans que Firefox se plaigne de ne pouvoir écrire dans /tmp, je me contenterai donc de cette solution (tant que le disque ne se remplit pas à nouveau par magie) mais ça ne m'explique quand même pas où sont passés mes 4 gigas manquants. Ça ne me gêne pas vraiment mais je n'aime pas les mystères non-résolus :-? (sauf sous windows car dans ce cas là il ne faut surtout pas chercher d'explication logique :lol: ).