Hipólito Pauly, tipógrafo.