Source: https://www.di.ens.fr/users/phan/SecProuv.pdf