Pascal et Port-Royal - Marin, Louis (Presses Univ. de France, 1997)
Includes bibliographical references and indexes