https://123dok.net/document/zkw1m6w1-calcul-symbolique-sous-algèbres-span-class-mathjax-formula.html