Bonjour,
ben faut reconstruire le menu par le javascript, ce qui donne pour chaque lien:
document.write('<a href="index.html"><b>Accueil</b></a><br>'); (par exemple)
Une fois fait, tu appels ton js externe là où tu veux qu'il s'affiche. J'ai pas regardé ton code, mais je présume que tu as un DIV qui concerne le menu, style:
<div id="menu">
blablabla (pour le menu)
</div>
Donc avec le js externe ça devient:
<div id="menu">
<script type="text/javascript" src="menu.js">
</script>
</div>
le script remplace le blabla d'origine, donc le javascript reconstruit le menu. Ici il appelle le fichier menu.js [placé au même niveau que les pages du site, sinon il faut modifier le lien] (soit la liste des document.write(''); qu'il recolle sur chaque page dès qu'il tombe sur "<script type="text/javascript" src="menu.js"></script>". le id="menu" fait le reste pour la déco.
Ensuite si tu modifies menu.js, toutes les pages seront modifiées en même temps, vu qu'elles appellent toutes le fichier menu.js ;-)
Le navigateur ne chargera le menu qu'une fois, ensuite il le récupérera dans son cache (et tu gagnes ça en plus sur le timing d'appel de la page).