/*
	Fonction de rafraīchissement des pages
*/
function auto_refresh_page() {
	document.location.href=document.location.href;
}
window.setTimeout("auto_refresh_page()", seconde_to_refresh * 1000);