8 extrémistes tués au Sinaï, Selon l'armée égyptienne