Jean Crassot (born 1616), French philologist