Un gendarme gravement blessé par un tir lors d'une opération à Carpentras