// Fonction de raccourci pour la commande document.getElementById
	function $(id){
		return document.getElementById(id);
	}