Source: https://www.epfl.ch/labs/gdp/wp-content/uploads/2019/10/Corrige_prope_18.pdf