merci google

j'ai trouvé comment faire des miniatures de vidéos sous linux

c'est le logiciel ffmpegthumbnailer

# script de génération de miniatures de 128*96 de video quicktime .mov
#

commande du genre si vous avez plusieurs fichiers dans le même dossier

for i in $(seq 236 259)  ; do ffmpegthumbnailer -i 100_0$i.MOV -o TN-100_0$i.jpg; done

bien sûr c'est valable pour d'autre formats que .mov