L'axiomatique des quanta, nouvelle axiomatique pour l'algèbre linéaire