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
convert
permettant la conversion entre une multitude de formats ;GIMP (disponible pour plusieurs plate-formes également) ;
quelques logiciels dédiés tels
imgtops
oujpeg2ps
(pour Linux, qui sont plus spécifiques et plus efficaces)…