El astrónomo Lemosín, biógrafo de Ludovico Pío: