somme directe d’espaces vectoriels