Bonjour,Voici comment réduire un .gif animé sous Gimp:
Ouvrir l'image avec gimp,
Cliquez sur Image et Echelle et Taille de l'image
Modifier les dimensions et cliquez sur Echelle
Ensuite enregistrez votre nouvel image,pour cela:
Cliquez sur Fichier et Enregistrer sous...
Renommez votre image sinon cela écrasera l'image originale 
Une nouvelle fenetre s'ouvre :
Cochez Enregistrer en tant qu'animation et cliquez sur Exporter
Une autre fenêtre s'ouvrira, il ne vous reste plus qu'à enregistrer en cliquant sur Enregistrer et c'est fini
