Pour ceux qui ne savent pas comment faire exactement : voici la solution Gimp.
D'abord, on installe Gimp : le "similaire" de photoshop mais en libre
http://www.gimp.org/downloads/De toute façon y faut s'y mettre, on est toujours amené un jour à modifier vite fait une image pour diverses raisons...Une fois installé, ouvrir l'image dans Gimp. Dans la fenêtre
de l'image, aller dans le menu 'image' et cliquer sur 'Echelle et taille de l'image...'
Là on rentre les dimensions (je dirais effectivement 600points maxi pour la plus grande longueur) puis la résolution à 72dpi
Et voilà comment on devient un as du graphisme
Enregistrer le fichier sous un nom différent (genre
nom_petit.png) si on veut garder le fichier original de bonne qualité