Khartoum: cinq agents du renseignement tués et onze terroristes étrangers arrêtés