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