// JavaScript Document
function favoris() { 
if ( navigator.appName != 'Microsoft Internet Explorer' ) 
{ window.sidebar.addPanel("Camping de la Vallée",document.location,""); } else { window.external.AddFavorite(document.location,"Camping de la Vallée"); } }