Topos associé à un espace connectif, par S. Dugowson (7 décembre 2016)