Les gîtes touristiques du Puy-de-Dôme font le plein au mois de mai