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

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

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