function favoris() {
	if (navigator.appName != 'Microsoft Internet Explorer') { window.sidebar.addPanel("Destination Campings", "http://www.destination-campings.fr", ""); }
	else { window.external.AddFavorite("http://www.destination-campings.fr", "Destination Campings"); }
}