La caída de jefes islamistas perturba las operaciones de la milicia en una guerra que supera en un mes los 10.000 muertos