deyen af Tunis , divisionsgeneralen Khérédine.