GIGN (abréviation de Groupe d'intervention de la gendarmerie nationale ) nom masculin Gendarmerie-Einsatztruppe