/* fonction de changement de class d'un id
liste des paramètres :
	id			: id de l'objet
	nom_class	: nom de la class à appliquer*/
function change_class(id, nom_class)
{
	document.getElementById(id).className = nom_class;
}