<!--
//---------- Plier ou déplier un div/layer
function fold(ctrl){
	lectrl = document.getElementById(ctrl);
	if(lectrl){
		if(lectrl.style.display == "none"){
			lectrl.style.display = "block";
			lectrl.focus();
		}
		else{
			lectrl.style.display = "none";
		}
	}
}
-->