var favurl=document.location.href;
var favtitre=document.title;
function AddFav()
{
if (document.all)
{
window.external.AddFavorite(favurl, favtitre);
}
else
{
alert("CTRL + D pour ajouter cette page dans vos favoris.")
}
}