Gendarmerie : Vers un « GIGN 3.0 », avec un effectif de 1000 militaires