quatre gendarmes tués