Enregistre ce menu dans un fichier appelé menu.php .
Dans chacune de tes pages insère
require
( $_SERVER["DOCUMENT_ROOT"]."menu.php
" );
là où tu souhaite que ton menu apparraisse.
Cependant chacune de ces pages comportant ce code devra être renommée en . php ( plus index.html mais index.php )
; )