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