Ce fichier présente le concept de matrices normales, c'est à dire de matrices diagonalisables dans une base orthonormée complexe.