Source: http://www.numdam.org/article/RSA_1953__1_1_55_0.pdf