Dimension d’un espace vectoriel