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