Radionavigation-satellite service