Le Pic du Midi enregistre une fréquentation en nette hausse cet été