function addFav() 
{
	if (document.all) 
	{ 
	window.external.AddFavorite(location.href, document.title); 
	} 
	else 
	{ 
	alert('Vous pouvez faire CTRL + D pour ajouter cette page dans vos signets, ou favoris.') 
	} 
}