Trois policiers tués lors d'une opération contre l'État islamique