Source: https://ptsi-deodat.heb3.org/documents/travaux_diriges/espaces_vectoriels_TD19.pdf