une bonne partie de la théorie de l'algèbre linéaire en dimension finie.