[.eps] bitmap -> .eps for several files at once

The automatic conversion of several bitmap files (.png for instance) to their .eps counterparts may be performed very efficiently using a linux OS. Just have to type in a terminal the command "mogrify -format eps *.png" !