Night-time image quality at Roque de los Muchachos Observatory | Publicación