voilà      

paint shop pro :
 
enregistrer sous / jpg / optimiser ...
 
tres bien fait, simple & efficace
 
@+

paint sous windows

ACDSee, Convert->Jpg to Jpg
 
et roule

Les JPG, on peut les faire tout petits en choisissant un fort taux de compression, donc de dégradation. Suffit de trouver le bon compromis.
 
Les GIFs, il me semble qu'ils sont déja compressés structurellement (algo breveté).

Pour le jpg, tous les soft nommés ci-dessus le permettent.
Mais il y a "Jpeg Wizard" qui est pratique car tu as un aperçu en direct de ce que cela va donner et de la future taille.
A+

Sans contestation possible :
 
Adobe Image Ready 3.0
 
Ce n'est le moins cher, mais de loin le meilleur pour tourver le bon taux de compression (JPEG) ou le bon nombre couleures (bits encoder dans la palette GIF)
 
Image Ready 3.0 est fourni avec une version complète de Photoshop 6.0.

Corel PHOTOPAINT (gratuit sous linux) et traitement par lot ... tu utilise le systeme d'optimisation web de l'image (permet d'avoir des aperçus sur plusieurs types de compression en meme temps et de comparer la qualité et la taille)
et apres tu fais un traitement par lot (si tu as plein d'images)
ou un script corelscript et pi voiala

Ou de bosser pour une boîte  

ok merci les gars