function affmask_element(nom_element) {
	if (document.getElementById(nom_element).style.display=='none')
	{ document.getElementById(nom_element).style.display=''; }
	else if (document.getElementById(nom_element).style.display=='')
	{ document.getElementById(nom_element).style.display='none'; }
	void('');
}