document.getElementById("loading").className = "loading-visible";
	var hideDiv = function() { 
		var d = document.getElementById("body"); 
		var d_interne = document.getElementById("loading"); 
		var anciennoeud = d.removeChild(d_interne);
	};
	var oldLoad = window.onload;
	var newLoad = oldLoad ? function() { hideDiv.call(this); oldLoad.call(this); } : hideDiv;
	window.onload = newLoad;