Puy-de-Dôme : trois gendarmes tués, un quatrième blessé par un forcené