Modules sur un schéma relatif. Exemples de 2-foncteurs F:$\mathfrak{Top}\; \mathfrak{an}\;\mathfrak{loc}/S \to \mathfrak{Cat}$ représentables par des S-quasi-schémas

Résumé

Dans ce paragraphe, nous allons en préliminaire définir une notion de «O_x-modules», où X est un schéma relatif sur un topos annelé, notion que nous comparerons á celle de O_x-module, où X désigne le quasi-schéma associé á X. Ces deux notions sont en particulier équivalentes quand on fait des hypothéses de finitude convenables.