Source: https://cpge.byethost5.com/pdf/relations d'ordre.pdf