Gendarmes tués dans le Puy-de-Dôme : après le drame, les habitants sous le choc