somme de sous espaces vectoriels