somme d’espaces vectoriels