Comment Comment by rubberpoliceman Also, http://www.numdam.org/item/SPHM_1979___2_A1_0.pdf parent rubberpoliceman 2 years ago
