function redimension_image($largeur,$image){



// Récupération de toutes les infos de l'image

$size = getimagesize($image);

$largeur_image = $size[0];

$longueur_image = $size[1];



if($largeur_image>$largeur){

// Calcul du rapport de proportionnalité

$rapport  = ($largeur_image/$longueur_image);



// Calcul des nouvelles dimensions

$longueur = ($largeur/$rapport);

}

else

{

$longueur = $longueur_image;

$largeur = $largeur_image;

}

// Redimensionnement de l'image

$photo = "<img src='$image' height='$longueur' width='$largeur' border='0'>";

return $photo;

}

quality est optionnel, et prend des valeurs entières de 0 (pire qualité, petit fichier) et 100 (meilleure qualité, gros fichier). Par défaut, la valeur est celle de la qualité IJG (75).