Redimensionner une image

Afin d'éviter d'avoir à passer par un logiciel de traitement d'image, voici un script utilisant la bibliothèque GD de PHP qui permet de redimensionner les images JPG dynamiquement :

Autres outils en ligne :
Générer favicon - Conversion numérique - Conversion html/rtf