Porten har utnämnt stor-ulema ’ nDjellaleddin