Comment gérer différents formats de figures?

  • Il existe de nombreux convertisseurs entre tous les formats, et cette FAQ n’est pas le lieu pour en donner une liste complète. Citons les incontournables, tels ImageMagick (disponible pour Windows, Mac et Unix) qui fournit la commande convert permettant la conversion entre une multitude de formats, gimp (disponible pour plusieurs plate-formes également), imgtops et jpeg2ps (pour Linux, qui sont plus spécifiques et plus efficaces)…