Définitions d'un espace vectoriel