Taller de astronomía / Antonio Arribas de Costa, Pedro Granados García de Tomás - Arribas de Costa, Antonio