Armée : 450 extrémistes tués dans l'offensive du Sinaï