// Procedures globales du projet
function JchangeStyle(element, nouveauStyle)
{
	document.getElementById(element).setAttribute("class", nouveauStyle);
}
function JchangeStyleNom(element, nouveauStyle)
{	
	document.getElementsByName(element)[0].setAttribute("class", nouveauStyle);
}