function wdoOpenLoc(loc) {
	document.getElementById('locality').value = loc.toUpperCase() ;
	//http://code.google.com/p/luxv3/issues/detail?id=289
	document.getElementById('source').value = "carte" ;
	document.recherche.submit();
}