Les gifs animés

Est-ce que quelqu'un serait me dire comment faire pour réduire en taille un Gif animé ??
Je viens de changer d'avatar et en principe il est animé.
Les doigts pianotent sur le clavier.
Comme l'image est un chouillas tros grosse, je pense qu'il faudrait que je la réduise pour que ça soit animé.

S'il y a une pro dans le domaine, merci !

peut-être sur photoshop mais je ne garantis pas...

Les gifs animés ne se réduisent pas sans justement perdre leur animation

bon à savoir .
Merci Ingrid car justement j'avais réussi à réduire mais plus d'animation.
Bah tant pis