"Scène de guerre" dans le Puy-de-Dôme, trois gendarmes tués