dimension vectorielle