Bonjour,
 
Dans le cadre d'un stage de recherche que je dois faire dans un labo à la fac, j'ai une série de 300 gif qu'il faudrait que je convertisse au format pgm (pour qu'un de mes programmes puisse les traiter).
Pour l'instant, j'utilise GIMP où je peux convertir une image en pgm une par une. Mais comme j'en ai 300 à faire, ca risque d'être un peu barbant.
Est-ce que quelqu'un connaitrait un logiciel de conversion d'une image vers un format pgm plus efficace?
Merci beaucoup

Bonjour,
 
je ne connais pas de logiciel , mais quand tu regarde sur le net tu as ce logiciel qui fait pgm en gif, mais il fait peut être le contraire
 
http://translate.google.fr/transla [...] r%26sa%3DG