Documents Savoirs Topologies et faisceaux en sémantiques des textes : pour une herméneutique formelle, Topologies and sheaves in semantics of texts : towards a formal hermeneutics Oleg Prosorov