Ok. Voilà le problème. L'espace est là, le problème est qu'il n'est pas accessible pour les applications.
Les systèmes Android comportent plusieurs partitions, comme expliqué ici . En faisant un df sur mon appareil j'obtiens :
Filesystem Size Used Available Use% Mounted on
tmpfs 156.5M 32.0K 156.4M 0% /dev
tmpfs 156.5M 0 156.5M 0% /mnt/asec
tmpfs 156.5M 0 156.5M 0% /mnt/obb
/dev/block/mtdblock3 250.0M 119.0M 131.0M 48% /system
/dev/block/mtdblock5 175.1M 157.2M 18.0M 90% /data
/dev/block/mtdblock4 40.0M 1.3M 38.7M 3% /cache
/dev/block/vold/179:1 3.7G 2.8G 952.5M 75% /mnt/sdcard
L'espace que je vois dans le gestionnaire d'applications est le même que celui alloué pour /data, le reste de l'espace est utilisé pour le cache et le système Android (dans les partitions /system et /cache).
Une solution serait de trouver comment redimensionner les partitions dans la mémoire interne du téléphone (il existe une procédure ici ). Une autre solution (qui semble plus facile) est de mettre les applications régulièrement utilisées dans la partition /system avec les applications par défaut afin que toute la mémoire soit utilisée (Root est nécessaire).