https://123dok.net/document/q7wer1xd-semi-groupe-lie-associé-algèbre-jordan-euclidienne.html