Pues muchas gracias a ambos, he tenido que usar ambos programas.
El TMPGEnc (vaya nombrecito...) no me reconocía los archivos mpg que me genera mi videocámara. He usado el Total Converter para convertirlo otra vez a mpg, que el TMPGEnc ya reconoce, y con este he podido extraer los fotogramas en archivos bmp.