La bataille engagée il y a cinq mois contre des jihadistes affiliés au groupe État islamique dans la ville philippine de Marawi a pris fin, a annoncé lundi le ministre philippin de la Défense.