Changer la taille d'une image (gif, jpg, ou autre) ?????

[Ludwin]

Incroyable mais vrai, j'en suis réduit à m'adresser à la mailing list du
gull pour demander... S'il existe un moyen simple de réduire la taille
d'une image (jpg ou autre) sur Linux!

J'ai essayé de le faire avec Gimp, mais n'ai rien trouvé. Avec Xpaint,
non plus. J'en suis réduit à rebooter sur Windows, pour utiliser un
petit programme sympa, lviewpro. Alors qu'il y a certainement un truc
qui marche sur Linux. Mais quoi???
--
http://www-internal.alphanet.ch/linux-leman/ avant de poser
une question.