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