France 3 Provence-Alpes-Côte d'AzurGendarmes tués dans le Puy-de-Dôme : une "profonde tristesse" à Pertuis dont l'une des victimes est originaire