Arnauld, Antoine,1612-1694.