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);
		return(false);
	}
	else {
		alert('Faites CTRL+D pour ajouter ce site dans vos favoris!')
	}
}