function affiche_popup (url,name,largeur,hauteur) { 
	window.open(url,name,"status=no, scrollbars=yes, menubar=no, width="+largeur+", height="+hauteur);
}

function check_input_pagination(url, num, suffix) {
	var exp = new RegExp("^[0-9]+$","g");
	if (exp.test(num)) {
		window.location=url+num+suffix;
	} else {
		alert('Numero de page incorrect');
	}
}