function setMascTxt(new_txt)
{
	var bulle_masc;
	if (bulle_masc = document.getElementById("bulle_masc"))
	{
		//TODO : si bulle_masc pas "ouverte", "ouvrir la bulle"
		bulle_masc.innerHTML = new_txt;
	}
}