Préfet en Algérie — René Petitbon