Manual del ingeniero : resumen de la mayor parte de los conocimientos elementales y de aplicación en las profesiones del ingeniero y arquitecto []