nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1);
function addFav(url_site, titre_site) {
	if (nav == "Mic" && ver >= 4) {
		window.external.AddFavorite(url_site, titre_site);
	} else {
		window.sidebar.addPanel(titre_site, url_site, '');
	}
}