Blaise Pascal: Abrégé de la vie de Jésus-Christ [Synopsis of the Life of Christ]