Source: https://arnaud.jobin.pro/Polys/Cours/CH3/exos_Espaces_vectoriels.pdf