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