Source: https://lipn.univ-paris13.fr/~borne/INFO2/DVac_PRLI_corr.pdf