ATTENTION : soyez sûr que la version de libgif-dev soit supérieure ou égale à 5. Sinon, supprimez libgif-dev et installez la librairie à partir des sources : https://sourceforge.net/projects/giflib/

   ./configure
   make
   sudo make install