function montre_raccourcis() {
document.getElementById('liste_raccourcis').style.display="block";
document.getElementById('liste_raccourcis').innerHTML='<dt class="center">Aide mémoire des raccourcis clavier</dt><dd>Page d\'accueil&nbsp;:&nbsp;0.</dd><dd>Moteur de recherche&nbsp;:&nbsp;1.</dd><dd>Plan du site&nbsp;:&nbsp;2.</dd><dd>Accessibilité - Aide à la navigation&nbsp;:&nbsp;3.</dd><dd>Aide mémoire des raccourcis clavier&nbsp;:&nbsp;4.</dd><dd>Nous contacter&nbsp;:&nbsp;5.</dd><dd>Aller au contenu&nbsp;:&nbsp;8.</dd><dd>Aller au menu&nbsp;:&nbsp;9.</dd><dd class="center" id="liens"><a href="#here" onclick="cache_raccourcis();">Cacher l\'aide mémoire</a> | <a href="/rubrique_aide/raccourcis.php">Plus d\'infos</a></dd>';
window.location="#body";
}

function cache_raccourcis() {
document.getElementById('liste_raccourcis').innerHTML='';
document.getElementById('liste_raccourcis').style.display="none";
}

function view_raccourcis() {
document.getElementById('lien_raccourcis').href="javascript:montre_raccourcis()";
var referent=document.body;
var liste_raccourcis=document.createElement("dl");
referent.insertBefore(liste_raccourcis,referent.firstChild);
liste_raccourcis.id="liste_raccourcis";
document.getElementById('liste_raccourcis').style.display="none";

}
addToStart(view_raccourcis);