Source: https://maxencecaron.fr/wp-content/uploads/2011/07/jansenisme_pascal.pdf