up:: [[espace vectoriel]]