convertion image en Gif

Bonjour,
Dans un prgm python, j'utilise matplotlib qui me permet de créer des images au format .png. Je voudrais les convertir au format gif. Quelle librairie python dois je utiliser? PIL , Pythonmagick ou autre chose. qq'un peut il m'aider?

Merci

oui avec PIL
tu peux ouvrir n'importe quel fichier de type image et le sauver directement sous un autre format.

Peux tu me donner un lien ou un exemple concret.
J'ai vu un exemple mais il n'est pas tres clair.
Merci pour ta réponse rapide!!!

PIL est plus pratique que PythonMagick?

Code:

---

1 2 3

import Image   Image.open('a.png').save('a.gif')

---

Je préfère PIL à PythonMagick; enfin, je n'ai utilisé ImageMagick qu'en C++, mais je trouve que c'est un gros truc à installer pour l'utilisation qu'on peut en avoir. Et la doc de PIL est vraiment très clair.
Pour ma part, j'utilise le triplet PIL + NumPy + Scipy pour tout le traitement d'images.