Sinon avec un script qui met à jour tes pages statiques quand tu modifies le menu (genre tu mets %BEGINMENU% avant et %ENDMENU% après et tu remplaces dans chaque fichier par le contenu de menu.html) bon, c'est probablement plus chiant que du php si tu ne sais pas scripter.