function barreau()
	{
	document.write
		('<div class=\"barreau\">'
			+ '<a class=\"fbleu\" href=\"#mat\"> Équipement </a>'
			+ '<a class=\"fjaune\" href=\"#doc\"> Documentation </a>'
			+ '<a class=\"retour\" href=\"#haut\"> haut de page </a>'
		+ '</div>'
		);
	}