function ajoutFavoris() {
	appname= navigator.appName;
	if ( appname == "Microsoft Internet Explorer" )
		window.external.AddFavorite(location.href, document.title);
	else
	alert("Votre navigateur ne supporte pas cette fonctionnalit\351.\n "
	+ "Tapez \"Ctrl+D\" pour ajouter la page a vos signets.");
}