https://123dok.net/document/zgw3pex6-application-linéaires-aléatoires-plongement-espaces-banach-espaces-mathjax.html