nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1)
function addFav()
	{
	if (nav == "Mic" && ver >= 4)
		{
		url_site="http://www.petit-roque.com";
		titre_site = "Petit Roque";
		document.write('<a href="#" onClick="window.external.AddFavorite(url_site, titre_site);return(false);">M\'enregistrer en favoris</a><BR>')
		}
	else
		{
		document.write('Ce site &agrave; vos favoris<br>Faites CTRL+D ')
		}
	}