https://123dok.net/document/z1d40x3v-finiteness-properties-fundamental-group-smooth-variety.html