Execution by Turks of Jean Le Vacher, Algiers