Bonjour tout le monde !!

J'aurais besoin de convertir en ligne de commande (pour un script automatique) des images qui peuvent être de format .png OU .tga OU .ppm vers du gif (en fait, je ne peux créer QUE du .png ou .tga ou .ppm et je veux du gif)...
J'avais vu un programme tga2gif mais apparement c'est pour windows...
J'ai cherché un peu sur Synaptic, et je n'ai rien trouvé...

L'un de vous connaitrait un programme gratuit qui permet de faire une des conversions ?
EDIT : Jusque là, je faisais les conversions avec Gimp manuellement... y'a-t-il un moyen d'utiliser Gimp de cette manière mais, encore une fois, en ligne de commande ?

A noter que la commande en question fait partie d'image magick (il peut pas le deviner Deb hein...)
Plus d'info : http://www.imagemagick.org/script/command-line-tools.php

Okay merci beaucoup !