// pour afficher / cacher la recherche avancée du moteur de recherche
function ShowHide(EltId) {
	with(document.getElementById(EltId).style) {
		display=(display=="block") ? "none" : "block";
	}
}