https://123dok.net/document/zx56gg6v-chapitre-définitions-etant-donné-base-orthonormée.html