staden Kairouan äro omkring 15,000 man stärka.