BERNUY DE COCA: Astrónomo es un señor que se duerme mirando las estrellas.