The Executioner’s Office in Algeria and Tunisia (1842–1962)