// JavaScript Document
function favoris()
{
browserName = navigator.appName;  
browserVer = parseInt(navigator.appVersion);  
if (browserName == "Microsoft Internet Explorer" && browserVer >= 4)  
	{  
	window.external.AddFavorite(location.href, document.title);  
	}   
else
	{ 
	alert('Pour ajouter cette page à vos favoris, appuyez sur Ctrl+D'); 
	} 
}