Puy-de-Dôme : trois policiers tués au cours d'une intervention