https://123dok.net/document/z1dw25ov-commentary-on-lévy-lecture-notes-the-ecole-polytechnique.html