Vacances d'été : mois de juillet "boudé", campings moins fréquentés, quel bilan pour les professionnels du tourisme ?