Pascal et Port-Royal - Marin, Louis 1931-1992 (Presses Univ. de France, 1997)