¿Cuál de estos instrumentos se utilizaba en navegación para determinar los astros sobre el horizonte?

Esto si que nunca la escuche, todos los días se aprende algo nuevo!!