function taillePolice(idbody, offset)
{
	var body = document.getElementById(idbody);
	var taille = body.style.fontSize.replace('px', '');
	if ( !taille )
		taille = "10";
	var newtaille = parseInt(taille) + offset;
	body.style.fontSize = newtaille + "px";
}

function voirCommune(elem)
{
	var sel=elem.options[elem.selectedIndex];
	document.location.href = sel.value;
}


function emptyField(elem, def)
{
	if ( elem.value == def )
		elem.value = '';
}