Gendarmes tués dans le Puy-de-Dôme : "Il faut leur rendre le vibrant hommage qu'ils méritent", réagit la porte-parole de la gendarmerie nationale