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.