Les Tribunaux répressifs indigènes en Algérie et leur suppression — Philippe Remion