function voir(page,numero) {
	window.open(page+".php?num="+numero);
}
function voirdoc(page,numdoc) {
	window.open(page+".php?numdoc="+numdoc);
}