nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1)
function addFav()
{
if (nav == "Mic" && ver >= 4)
{
url_site="http://www.petitpaul.com";
titre_site = "Bienvenue sur le site du petit Paul :-)";
document.write('<A HREF="#" onClick="window.external.AddFavorite(url_site,titre_site);return(false);">favoris</A><BR>')
}
else
{
document.write('Faites CTRL+D pour ajouter ce site &agrave; vos favoris!')
}
}