https://123deta.com/document/zlgdew72-structure-diff-erentielle-l-anneau-formes-modulaires-sl.html