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 commandeconvertpermettant 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)…

