jean laporte, port-royal, seicento, antoine arnauld