Radionavigation mobile station