Un gendarme de l’antenne régionale du GIGN d’Orange tué par un forcené