MetMat
Comment reconnaître qu'une matrice de passage entre deux bases orthonormées est orthogonale et exploiter $P^{-1} = {}^t\!P$ ? | MetMat