var DELAI_INTRO = 2000;

function gotoSommaire(delai) {
  if (delai) window.setTimeout( "top.location.href = 'sommaire.htm'", delai);
  else top.location.href = "sommaire.htm";
}//gotoSommaire


function menuClick(desti) {
  top.location.href = desti;
}