Pedro Pineda (c.1700-1762), cervantista, gramático y lexicógrafo inglés de la primera mitad del siglo XVIII.