<!--
function favoris() {
	if ( navigator.appName != 'Microsoft Internet Explorer' ){
	window.sidebar.addPanel("Mairie d'Arbus","http://www.mairie-arbus.com/","");
	}
	else {
	window.external.AddFavorite("http://www.mairie-arbus.com/","Mairie d'Arbus");
	}
}
//-->