Finalizada la operación contra los yihadistas en el barrio de Saint-Denis