La medida de la gravedad: conceptos básicos, instrumentos, aplicaciones e infraestructuras mantenidas por el Instituto Geográfico Nacional noviembre 2022