Note to self
While trying to install a package on Ubuntu with apt-get install, I got the following error :
Failed to fetch http://xxx_i386.deb Size mismatch
To fix the problem, I had to enter the following command:
sudo aptitude clean sudo aptitude update