https://123dok.net/document/zpn1l310-algèbres-théorème-réduction-reconstruction-application-orthogonal-euclidien-algèbres.html