}
/* Code pour afficher la photo téléchargée ou l'avatar par défaut */
$vignette_html = null;
/* Pour permettre l'affichage aussi bien en local que sur un serveur distant */
$http = !empty($_SERVER['HTTPS']) && $_SERVER['HTTPS'] != 'off' ? 'https://' : 'http://';
$adresse_serveur = $http . $_SERVER['SERVER_NAME'] . '/';
$nom_final_fichier = Result_upload($upload_result, $dossier_photo, 'nom');
$dimensions = Result_upload($upload_result, $dossier_photo, 'dim');
if (isset($nom_final_fichier, $dimensions)) {
    $largeur_max = 200;
    /* largeur maximum de la vignette affichée (sert à rien ici puisque j'ai choisi les même dimensions que le redimensionnemt mais c'est pour l'exemple)*/
    $hauteur_max = 200;
    /* hauteur maximum de la vignette affichée */
    $img_size = explode($separateur_dimensions, $dimensions);
    /* on utilise la fonction "Dim_Prop_max" pour limiter la taille d'affichage de la vignette */
    $dim_vignette = $up->Dim_Prop_max($img_size[0], $img_size[1], $largeur_max, $hauteur_max);
    $adresse_html = $adresse_serveur . $dossier_photo . '/' . $nom_final_fichier;
    $vignette_html .= '<img alt="' . htmlspecialchars($nom_final_fichier) . '" src="' . $adresse_html . '" width="' . $dim_vignette[0] . '" height="' . $dim_vignette[1] . '" />';
} else {
    if ($succes && empty($erreur_upload) && is_file($_SERVER['DOCUMENT_ROOT'] . '/' . $dossier_photo_PF . '/' . $avatar_par_defaut)) {
        $adresse_avatar = $adresse_serveur . $dossier_photo_PF . '/' . $avatar_par_defaut;
        $vignette_html .= '<img alt="' . $avatar_par_defaut . '" src="' . $adresse_avatar . '" />';
    }
}
?>
<!doctype html>
<html lang="fr">
<head>
<meta charset="UTF-8" />
<title>Formulaire avec upload de fichier, affichage des résultats/erreurs et vignette d'upload</title>
<style type="text/css">