// JavaScript Document
function element_afficher(what) {
	if (document.getElementById(what)) {
		document.getElementById(what).style.display = "";
	}
}
function element_masquer(what) {
	if (document.getElementById(what)) {
		document.getElementById(what).style.display = "none";
	}
}
function element_afficher_masquer(what) {
	if (document.getElementById(what)) {
		if (document.getElementById(what).style.display == "") {
			element_masquer(what);
		} else {
			element_afficher(what);
		}
	}
}