Ionospheric corrections tailored to the Galileo High Accuracy Service | Publicación