function addToFavorite() {
  if (window.external) {
    window.external.AddFavorite(window.location.href, window.document.title);
  }
  else {
    alert("Appuyez sur les touches CTRL+D pour ajouter "+window.document.title+" dans vos favoris!");
  }
}