Gaston Revel, un instituteur en Algérie