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 du logiciel libre :
ImageMagick (disponible pour Windows, Mac et Unix) qui fournit la commande
convertpermettant la conversion entre une multitude de formats ;GIMP (disponible pour plusieurs plate-formes également) ;
quelques logiciels dédiés tels
imgtopsoujpeg2ps(pour Linux, qui sont plus spécifiques et plus efficaces)…