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