[gull] reduction image

[Rafael Muñoz Moreno Davila]

> ImageMagick me semble tout indiqué pour faire ce genre de chose :
> 
> $ convert image.jpg -resize 25% tiny_image.jpg
> 

Au fait ce que je fait normalement c'est utiliser gimp, mais il faut faijre la
reduction pour chaque image manuellement. Ce que je cherche ça sera une
methode, qui puisse reduire toutes les images une après l'autre, et rajouter
un petit suffix au nom: par ex petit...

Merci d'avance.