Source: https://www.math.u-bordeaux.fr/~jesterle/algebrelineaire2008.pdf