Vaccination pendant l'été : plus de doses pour les lieux de vacances ? Des maires dans l'expectative