El "Manual del cajista" (1845, 1861) de José María Palacios y su vocabulario de voces de la imprenta | Publicación