integral operator (in the sense of Grothendieck
scientific article