// ***** Position au chargement et avec l'évènement onScroll du bouton pour revenir en haut *****
function position_backtop(){
  document.getElementById("backtop").style.top = document.body.clientHeight-50;
  document.getElementById("backtop").style.left = document.getElementById("pied_de_page").offsetLeft+950;
}

function position_backtop_scroll(){
  document.getElementById("backtop").style.left = document.getElementById("pied_de_page").offsetLeft+950;
  document.getElementById("backtop").style.top = document.body.scrollTop+document.body.clientHeight-50;
}



function favoris(anchor){
  window.external.AddFavorite(anchor.getAttribute("href"), anchor.getAttribute("title"));
}