Source: https://who.rocq.inria.fr/Jean-Charles.Gilbert/ensta/03-fc.pdf