¿ Cómo editar textos impresos?: Notas y comentarios para un manual