Définitions et propriétés d'espace vectoriel.