function rouge(tx)
{
document.getElementById(tx).style.color="red";
}
function blanc(tx)
{
document.getElementById(tx).style.color="#1188ff";
}
function visible(tx)
{
document.getElementById(tx).style.visibility="visible";
}
function invisible(tx)
{
document.getElementById(tx).style.visibility="hidden";
}