Trois gendarmes tués, un quatrième blessé par un forcené dans le Puy-de-Dôme