// JavaScript Document
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.') }
}