Gronovius, Johann Friedrich, philologue et historien hollandais, professeur de grec à Leyde