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