Source: https://math.univ-lyon1.fr/irem/IMG/pdf/seance_7_parallelisme.pdf