function retour () {
	history.go (-1);
}


function include(fileName){
document.write("<script type='text/javascript' src='"+fileName+"'></script>" );
}