New formula : Cryptoverif 1.19 (clean pull request)