Les premiers Jansénistes et Port-Royal / Ricard, Antoine (1834-1895)