An underground Sagnac gyroscope with sub-prad/s rotation rate sensitivity: toward General Relativity tests on Earth. (arXiv:2003.11819v1 [astro-ph.IM])