Discussion autour du topos “Coucherie par substitution”. Madeleine Jeay https://sator.hypotheses.org/973