euh je crois que ceci est un peu impossible pas sur mais presque un gif est deja extraimement petit c'est comme si tu voulait reduire une fichier JPEG
en cas il faut le zipé avec winrar mais bon tu va pas gagné grand chose vu que c'est deja super petit :-) enfin sa depent ton utilité peut etre que en le zipant sa te sufira