En effet, d'après ce que je viens de trouver il s'agit de l'outil "convert" de imagemagick qui permet de redimensionner à la volée toutes les images d'un répertoire.
Plus d'infos
sur ce site.
Pour mon cas, il suffit de créer le script suivant:
#!/bin/bash
# Réduit tous les fichiers .jpg du répertoire courant de 25% et les renomme en thumb-anciennom.jpg
for img in 'ls *.jpg'
do
convert -sample 25%x25% $img thumb-$img
done
Je test ce soir et je vous redis.
Encore merci !!