La guerre d'un gendarme en Algérie — Gilbert Maurel