Réponse acceptée !
Salut,
voici un morceau de code ($dest_file étant le fichier image jpeg à redimensionner) :
list($largeur, $hauteur, $type, $attr)=@getimagesize($dest_file);
if($largeur > 100 OR $hauteur > 100)
{
$nhauteur=(100 * $hauteur) / $largeur;
if($nhauteur > 100) $nhauteur = 100;
$miniature=imagecreatetruecolor(100,$nhauteur);
$gde_image=@imagecreatefromjpeg($dest_file);
$mini=@imagecopyresized ($miniature,$gde_image,0,0,0,0,101,$nhauteur,$largeur,$hauteur);
imagejpeg($miniature,$dest_file,90); //qualité jpeg 90
imagedestroy($miniature);
}
a ++