trois gendarmes tués