function getRandom (mini, maxi) { // retourne un nombre entier au hasard dans l'intervalle [mini, maxi]
 var output = 0;
 var scope = maxi - mini +1; // limite superieure de la fonction escalier: hors du resultat
 do { // fonction en escalier dans l'intervalle [0, scope[
  output = Math.floor(Math.random() * scope);
  } while(output==scope) // normalement random s'applique sur [0, 1[, mais il vaut mieux s'en assurer
 output = output + mini;
 return output;
}

var bannerArray = [["aubrac1.jpg", 504],
["aubrac2.jpg", 416],
["aubrac3.jpg", 474],
["bozouls1.jpg", 517],
["bozouls2.jpg", 435],
["bozouls3.jpg", 499],
["estaing1.jpg", 433],
["estaing2.jpg", 558],
["nature1.jpg", 533],
["nature2.jpg", 474],
["nature3.jpg", 504],
["nature4.jpg", 482],
["salgues.jpg", 505],
["paysage1.jpg", 429],
["paysage2.jpg", 520],
["paysage3.jpg", 437]];

var randomIndex = getRandom(0, bannerArray.length - 1);
var bannerURL = "banner/" + bannerArray[randomIndex][0];
var bannerHeight = bannerArray[randomIndex][1];