TD 5: Normed vector spaces