function favoris(){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.')}}