In section 5 of his Esquisse d'un Programme, in connection with tame topology, Grothendieck says he was able to convince himself that a formalism of devissage had some meaning in the context of topoi, via a suitable notion of "canonical tubular neighborhood of a subtopos" in an ambient topos. Has anyone besides Grothendieck pursued this idea? Thanks, Todd