Les Cadis et les greffiers de justice de paix en Algérie, par Paul Pinchon, — Paul Pinchon