Source: http://archive.numdam.org/article/RSA_1980__28_1_25_0.pdf