Logique de Port-Royal, suivie des trois fragments de Pascal sur l'autorité en matière de philosophie, l'esprit géométrique et l'art de persuader