Oups désolé : devices dans "gs --help" et pas dans "man gs" !
$ time gs -sDEVICE=ppmraw -dBATCH -q -dNOPAUSE -sOutputFile=%stdout%
001.ps | convert -resize 25% - 001.jpg
real 0m11.187s
user 0m9.811s
sys 0m1.046s
$ time gs -sDEVICE=jpeg -dBATCH -q -dNOPAUSE -sOutputFile=001.jpg 001.ps
real 0m3.120s
user 0m3.060s
sys 0m0.018s
$ time gs -sDEVICE=ppmraw -dBATCH -q -dNOPAUSE -sOutputFile=%stdout%
001.ps | convert -resize 25% - 001.jpg
real 0m11.306s
user 0m9.809s
sys 0m1.048s
(ne pas tenir compte du time de tout à l'heure)
A+