function region_selected(region) {
	document.getElementById("map").style.backgroundImage = 'url(/images/carte/map_' + region + '.gif)';
}
function no_region(region) {
	document.getElementById("map").style.backgroundImage = 'url(/images/carte/none.gif)';
}