Géométries de Port-Royal — Antoine Arnauld, Blaise Pascal, François de Nonancourt