Quelques aspects de la dualité entre logique et topologie Pierre Ageron (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques