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