resize a gif

gifsicle --scale 0.4 -k 128 -O -o output.gif input.gif

-k sert à definir le nombre de couleurs

-O pour optimiser