function redirto(adresse) {
	{ 
		document.location.href=adresse; 
	}
}