// Fonction permettant la navigation entre les pages
function change_page (p) {
	var adr = document.getElementById ('cur_adr').value;
	var url = adr+"?p="+p;
	document.location.href = url;
}