Guillaume Néry's Ocean Gravity