Messieurs de Port-Royal = Claude Lancelot, Antoine Arnauld and Pierre