https://123dok.net/document/qmj5gp5w-foncteur-mathjax-formula-mathjax-formula-espaces-vectoriels-noethérien.html