Puy-de-Dôme : un bilan touristique au sommet dans le massif du Sancy