Source: https://perso.univ-rennes1.fr/stephane.leborgne/Pari-de-Pascal.pdf