Source: https://www.normalesup.org/~glafon/maths/pcsi/complexes.pdf