lastDisplayed = "traitement1";
function display(aNumber)
	{
	document.getElementById(lastDisplayed).style.visibility="hidden";
	document.getElementById("traitement"+parseInt(aNumber)).style.visibility="visible";
	lastDisplayed = "traitement"+parseInt(aNumber);
	}