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