function banniere()
{                            // Tableau des noms d'images
 var photo=new Array("","1","2","3","4","5","6","7","8","9");
 var tiree=new Array(9);     // Tableau des nombres déjà tirés
 for(i=1;i<10;i++)
 {
  tiree[i]=0;                // Mise à zéro des nombres déjà tirés
 }
 for(i=1;i<6;i++)            // Boucler sur le nombre d'images voulues
 {                           // Tirer aléatoirement un nombre de 1 à 9
  tiree[i]=1+Math.round(Math.random()*8);
  for (j=1;j<i;j++)          // Voyons si ce nombre a déjà été tiré
  {
   if (tiree[j]==tiree[i])   // Si oui, tirer un autre nombre
   {
    i--;
   }
  }
 }
 for(i=1;i<6;i++)            // Enfin, afficher les 5 images
 {
  document.write("<img src='img/photo-"+photo[tiree[i]]+".jpg' width='85' height='85' alt=''>")
 }
}