function griser(id){
	parent.gauche.document.getElementById(id).style.setAttribute("color","#C0C0C0");
}

function inverse_couleur(id){
	for(var i=0; i < parent.gauche.document.links.length; ++i)
	{
		if(parent.gauche.document.links[i].id!=id)
			parent.gauche.document.links[i].style.color="#991D49";
		else
			parent.gauche.document.links[i].style.color="#C0C0C0";
	}
}