Ok, j'avais pas compris que c'était pour une image animée
Je retente...
<?php
$nbr_img = 4;
mt_srand((double)microtime()*1000000);
$num_img = mt_rand(1,$nbr_img);
/* Si l'image choisie aléatoirement est au format gif
(en réalité, si le fichier "sign_pitipiti".$num_img.".gif" existe) */
if (is_file("sign_pitipiti.".$num_img.".gif")) {
$rand_img = imagecreatefromgif("sign_pitipiti_".$num_img.".gif");
header ("Content-type: image/gif");
imagegif($rand_img);
}
/* Si "sign_pitipiti".$num_img.".gif" n'existe pas, ça veut dire qu'on a "sign_pitipiti".$num_img.".jpg" */
else {
$rand_img = imagecreatefromjpeg("sign_pitipiti_".$num_img.".jpg");
header ("Content-type: image/jpeg");
imagejpeg($rand_img);
}
?>
Voila, ça devrait le faire... Par contre, je ne sais pas si les fonctions imagecreatefromgif() et imagegif() gèrent les images animées, à toi de voir