var nav, ver;

nav = navigator.appName.substring(0,3);
ver = navigator.appVersion.substring(0,1);

function AjoutFavoris() 
	{
	if (nav == "Mic" && ver >=4)
		{
		window.external.AddFavorite(location.href, document.title)
		}
	else
		{		
		alert('Essayez CTRL+D pour ajouter ce site à vos favoris!')
		}
	}