/* fonction de changement de la class d'un objet
liste des paramétres :
	id		: id de l'objet a modifier
	nom_class	: nouvelle class de l'id */
function change_class(id, nom_class)
{
	//alert(id+' '+ nom_class);
	document.getElementById(id).className = nom_class;
}