medio. guglielmotti, 590: 'ora siderale' è la ventiquattresima parte del giorno calcolato
v.]: 'tempo sidereo o siderale': è il tempo regolato sul movimento delle