Pare che finalmente abbia trovato L'UTILITY.

Si chiama xpdf e l'ho scaricata da qui.
http://sourceforge.net/project/downl...se_mirror=garr

Al suo interno, nella cartella bin, ci sono diversi eseguibili. Quello che serviva a me si chiama pdfimages.

Una volta copiata in system32 è sufficiente usare questa sintassi:

pdfimages -j "c:\path_completo.pdf" "pippo".jpg

ed estrapola tutte le immagini jpg,ppm e pbm.
Una cosa molto utile è che permette di specificare un prefisso per le immagini che verranno create, in questo modo è poi facile smistarle per file "di appartenenza".
Credo che il grosso sia risolto. Con Irfanview mi pare sia possibile convertire quei formati in jpg.
Adesso dovrebbe essere agevole ciclare tutti i file. Faccio subito una prova.