1 ressource : somme d'espaces vectoriels