Precipitable water vapour content above the Roque de los Muchachos Observatory from GPS estimations | Publicación