В XVII веке специалисты-метрологи предлагали принять в качестве единицы длины величину 5,37 мм. Назовите природное сооружение, параметр которого был взят ими за эталон.