Gendarmes tués dans le Puy-de-Dôme : une trentaine de militaires en alerte aux frontières du département