##article.return## Normalization of a subgroup, in a topos, and of a word-congruence Download Download PDF