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