Source: http://www.numdam.org/item/JSFS_1947__88__134_0.pdf