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