De Carcavi, Peter, active approximately 1641-1672, French mathematician