// Redirection de la frame sur accueil si appel direct
function retourindex ()
{if ( top == self )
   self.location.href = "index.html";
}
// Redirection de la frame sur plan-acces.html si appel direct
function retourplan ()
{if ( top == self )
   self.location.href = "plan_acces.html";
}

// Affichage date
function afficheDate() {
  var maintenant=new Date();
  var jour=maintenant.getDate();
  var mois=maintenant.getMonth()+1;
  var an=maintenant.getFullYear();
  document.write("Nous sommes le ",jour,"/",mois,"/",an,".");
}

// Aller a une url
function jump($url) {
	window.location.href = $url;
}