D'ailleurs les formes linéaires sur Mn( C ) sont exactement les applications de la forme X ---> Tr( A X )

C'est exactement le théoreme de Riesz.