Gendarmes tués dans le Puy-de-Dôme : "une véritable scène de guerre" selon le procureur