Base, dimension et représentation coordonnée d'un espace vectoriel