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