espace vectoriel des polynômes