Espace vectoriel de type fini