function image_pastillerouge($url, $diametre=20, $distance=5) {
        $nom_fichier = extraire_attribut($url, 'src');
        $hachage = md5($nom_fichier.'+PastilleRouge');
        $tmp = sous_repertoire(_DIR_VAR, "cache-gd2");
        $cache = $tmp.$hachage.'.jpg';
        if (!file_exists($cache)) {
                $image = imagecreatefromjpeg($nom_fichier);
                $rouge = imagecolorallocate($image, 255, 0, 0);
                $centre_x = imagesx($image) - $diametre/2 - $distance;
                $centre_y = imagesy($image) - $diametre/2 - $distance;
                imagefilledellipse($image, $centre_x, $centre_y, $diametre, $diametre, $rouge);
                imagejpeg($image, $cache);
        }
        return "<img src=\"$cache\" />";
}