Source: https://www.math.u-psud.fr/~perrin/CAPES/algebre/Proportionnalite-2015.pdf