FR 2914430 A1 20081003 FR 0754139 A 20070329 P-CNES-004/FR 1 Domaine technique [0001] La présente invention concerne le domaine des systèmes de radionavigation ou de positionnement par satellite, en particulier un procédé de traitement des signaux de radionavigation émis par des satellites d'un tel système. Etat de la technique [0002] Les systèmes de positionnement par satellite comme GPS (Global Positioning System), Galileo, GLONASS, QZSS, Compass, IRNSS et autres utilisent des signaux de radionavigation modulés appelés en spectre étalé . Ces signaux véhiculent essentiellement des codes pseudo-aléatoires formés de séquences numériques se répétant périodiquement, dont la fonction principale est de permettre un Accès Multiple à Répartition de Code (AMRC) et la fourniture d'une mesure du temps de propagation du signal émis par le satellite. Accessoirement, les signaux de radionavigation peuvent aussi transporter une charge utile. [0003] Les signaux de radionavigation sont formés par modulation des fréquences centrales (porteuses). Dans le cas de GPS, les signaux de radionavigation sont transmis dans les bandes de fréquences L1, centrée sur 1575,42 MHz et L2, centrée sur 1227,6 MHz. Au cours de la modernisation de GPS, la bande L5, centrée sur 1176,45 MHz sera ajoutée. Les satellites de la constellation Galileo transmettront dans la bandes E2-L1-E1 (la portion de bande médiane L1 étant la même que celle du GPS), E5a (qui, selon la nomenclature Galileo, représente la bande L5 prévue pour le GPS), E5b (centrée sur 1207,14 MHz) et E6 (centrée sur 1278,75 MHz). [0004] Les mesures élémentaires que peut effectuer un récepteur comprennent les mesures de code et les mesures de phase de porteuse. Ces mesures élémentaires peuvent évidemment être combinées entre elles. Les mesures de code sont d'une précision métrique tandis que les mesure de phase sont d'une précision de quelques mm. Or les mesures de phase présentent le désavantage qu'elles ne livrent que la partie réelle de la différence P-CNES-004/FR 2 de phase de la porteuse entre l'émission par le satellite et le récepteur. Les mesures de phase sont donc ambiguës dans le sens que le nombre de cycles entiers entre le satellite et le récepteur sont inconnus au départ. Afin de pouvoir bénéficier de la précision des mesures de phase, un récepteur doit résoudre les ambiguïtés dont elles sont entachées. [0005] La résolution des ambiguïtés de phase est couramment effectuée par différentiation des mesures de phase (simple ou double différentiation). Cette différentiation permet d'éliminer des causes d'erreur (non modélisées) communes à plusieurs mesures, et permet ainsi de faire apparaître une information entière, dont la prise en compte améliore encore les performances. Cependant, cette information entière consiste en des différences d'une ou plusieurs ambiguïtés de phase élémentaires et ne permet pas, en général, de remonter aux ambiguïtés de phase élémentaires. Objet de l'invention [0006] La présente invention a pour objet de proposer une méthode permettant de résoudre l'ambiguïté de phase de mesures non différentiées faites par un récepteur (au sol ou en orbite), à partir des mesures brutes de code et de phase. L'invention permet à un récepteur de trouver la ou les valeurs de phase non ambiguës de façon autonome, c'est à dire sans nécessairement utiliser une ou plusieurs différentiations de mesures sur un réseau local ou mondial. Description générale de l'invention [0007] De manière générale, 'l'invention comprend deux volets. D'une part, elle comprend un procédé se déroulant au niveau d'un réseau de stations de référence lors duquel sont déterminées des informations supplémentaires à l'aide desquelles un récepteur d'utilisateur ne faisant pas partie du réseau peut résoudre les ambiguïtés de phase. D'autre part, l'invention comprend le procédé se déroulant au niveau du récepteur ne faisant pas partie du réseau qui utilise les informations supplémentaires élaborées par le réseau de stations de référence et mises à disposition par une voie de communication quelconque. P-CNES-004/FR 3 [0008] Un premier aspect de l'invention concerne la détermination, au niveau d'un réseau de stations (récepteurs de référence), comprenant au moins une station, d'un délai de satellite correspondant à un décalage d'horloge et/ou un biais interfréquence et/ou un écart de centres de phase des fréquences respectives non cornpensé(s), sur le satellite, entre le code et la phase d'un signal de radionavigation. On présuppose dans toute la suite une constellation de satellites de radionavigation dont les satellites émettent chacun au moins deux signaux de radionavigation dans deux bandes de fréquence distinctes. Chaque satellite diffuse donc au moins un premier signal de radionavigation sur une première fréquence et un second signal de radionavigation sur une seconde fréquence distincte de la première. Chaque station à partir de laquelle un satellite est visible (c'est-à-dire au-dessus de l'horizon) peut effectuer des mesures de code et de phase pour chacun des deux signaux provenant du satellite en question et en déduire une valeur brute de l'ambiguïté widelane. On détermine alors, au niveau du réseau de référence, sur base de cette valeur brute de l'ambiguïté widelane, un délai interne du satellite et une valeur entière de l'ambiguïté widelane. On notera que les mesures de code et de phase dont il est question ici sont des mesures non différentiées entre stations ou satellites. On remarque ici que les délais internes de satellites influencent les mesures de plusieurs récepteurs de la même façon et disparaissent donc par différentiation de mesures entre deux récepteurs. Les méthodes fonctionnant par différentiation de mesures ne nécessitent donc pas la connaissance du des délais internes de satellites. Par contraste, le procédé selon l'invention propose justement de déterminer le délai interne de satellite. [0009] Ce procédé peut comprendre, en particulier, les étapes suivantes : - recevoir les premier et second signaux de radionavigation au niveau du récepteur de référence ; -effectuer, à l'aide du récepteur de référence et pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase ; P-CNES-004/FR 4 - calculer la valeur brute de l'ambiguïté de phase widelane à partir des mesures de code et des mesures de phase (non différentiées); et - fixer le délai interne de satellite ainsi que la valeur entière de l'ambiguïté de phase widelane sur base de la valeur brute pour le 5 récepteur de référence. [0010] De préférence, on détermine le délai interne de satellite ainsi que la valeur entière de l'ambiguïté de phase widelane pour chaque combinaison satellite/station disponible (pour une date donnée, les satellites ne sont pas tous visibles depuis chaque station), à partir de mesures de code et de phase 10 effectuées pour chacun des premier et second signaux provenant du satellite respectif à l'aide du récepteur de référence respectif. Ceci est fait de façon cohérente au niveau du réseau de référence de sorte que l'on obtient un jeu de délais de satellite et de délais de station cohérents entre eux. [0011] Un deuxième aspect de l'invention concerne la détermination 15 d'horloges précises de satellite au niveau du réseau de référence. Dans ce procédé, on reçoit les premier et second signaux de radionavigation au niveau des stations, on effectue, pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase et on détermine une valeur d'horloge de satellite à partir des mesures de code, des mesures de phase, 20 d'une ou de plusieurs valeurs entières de l'ambiguïté widelane ainsi que d'une modélisation de la distance de propagation entre le satellite et le ou les récepteurs de référence. Pour déterminer les valeurs entières de l'ambiguïté widelane, on se procure les délais internes des satellites ou on les calcule comme indiqué plus haut, et ensuite on déduit des mesures brutes de 25 l'ambiguïté widelane les valeurs entières à l'aide des délais internes des satellites. La modélisation de la distance de propagation peut faire intervenir, notamment, l'orbite précise du satellite, l'allongement troposphérique, la position de la station tenant compte des marées etc. Des orbites précises peuvent être données en entrée si de telles orbites sont disponibles. 30 Alternativement, les orbites précises peuvent être estimées au cours du filtrage. P-CNES-004/FR 5 2] Les valeurs des horloges des satellites et, le cas échéant, les orbites précises des satellites d'une constellation sont estimées de préférence par filtrage à partir d'un ensemble de mesures de code et de phase sur un ensemble de stations (typiquement 50 stations). Les paramètres de modélisation ajustés pendant un tel filtrage sont les horloges émetteurs et récepteurs à chaque pas de temps, un biais troposphérique lentement variable sur la journée par station, et les ambiguïtés narrowlane (un paramètre identifié par passage). La détermination d'une valeur d'horloge comprend préférentiellement l'estimation de paramètres de la modélisation de la distance de propagation (comme p.ex. l'orbite précise du satellite concerné) à l'aide partir des mesures de code, des mesures de phase et d'une ou de plusieurs valeurs entières de l'ambiguïté widelane et ensuite l'estimation de la valeur d'horloge à partir des paramètres estimés. [0013] Selon un exemple simple d'algorithme de filtrage, exposé plus en détail dans la suite, on résout d'abord l'ensemble du problème avec des ambiguïtés flottantes, de façon à identifier avec une précision suffisante les paramètres de modélisation tels que l'allongement troposphérique et/ou une orbite précise, etc. Ensuite, l'ambiguïté narrowlane s'exprime en fonction des mesures de phase, de la modélisation identifiée et des horloges de satellite et des horloges de récepteur. [0014] On appréciera que le fait d'avoir identifié au préalable l'ambiguïté widelane lors de la détermination des délais de satellite entraîne que le problème à résoudre lors de la détermination des horloges de satellites ne comprend qu'une seule ambiguïté par passage, au lieu de deux comme dans les approches conventionnelles. La précision de modélisation nécessaire pour faire apparaître les valeurs entières est bien moindre que dans le cas où aucune ambiguïté ne serait connue au préalable. En particulier, il n'y a plus besoin de modèle de l'allongement ionosphérique car il peut être éliminé par combinaison des mesures bi-fréquence. Le fait que l'allongement ionosphérique n'entre pas dans la modélisation, réduit le nombre de paramètre à estimer par rapport aux méthodes conventionnelles, ce qui constitue un avantage considérable du procédé selon cet aspect de l'invention. P-CNES-004/F R 6 [0015] Les délais de satellite ainsi que les horloges et éventuellement aussi les orbites précises de satellites peuvent être diffusés aux récepteurs d'utilisateurs par tout moyen convenable, p.ex. diffusion terrestre, diffusion par satellite (p.ex. à partir de satellites de type SBAS ou des satellites de radionavigation eux-mêmes si le système dispose d'un signal contenant des données), par une voie de téléphonie mobile, via l'internet, etc. On notera que les délais de satellite restent essentiellement constants dans le temps. On peut donc les stocker dans une base de données à l'intérieur du récepteur qui se les procure à partir de cette base de données en cas de besoin. Les orbites précises et les horloges de satellite par contre, sont des données qui varient à chaque pas de temps et qui sont donc de préférence diffusées en temps réel. [0016] L'invention concerne, en outre, le procédé qui se déroule au niveau d'un récepteur quelconque (p.ex. un récepteur d'utilisateur final ou un récepteur de station de réseau). Le récepteur reçoit les premier et second signaux de radionavigation et effectue, pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase (non différentiée). II calcule ensuite une valeur brute de l'ambiguïté de phase widelane à partir des mesures de code et des mesures de phase et se procure un délai interne de satellite concernant le satellite en question. A partir de la valeur brute et le délai interne de satellite, il détermine ensuite une valeur entière de l'ambiguïté widelane. [0017] Selon un mode d'exécution préféré du procédé se déroulant au niveau du récepteur, ce dernier se procure une valeur d'orbite précise et une valeur d'horloge de satellite concernant le satellite et estime par filtrage, à partir des mesures de code, des mesures de phase de la valeur entière de l'ambiguïté widelane, de la valeur d'orbite, de la valeur d'horloge de satellite ainsi que d'une modélisation de la distance de propagation entre le satellite et le récepteur, une valeur entière d'une ambiguïté narrowlane. [0018] On note que le délai interne de satellite peut être procuré à partir d'une base de données interne ou externe au récepteur ou à partir d'un message diffusé par un satellite SBAS ou envoyé par un réseau de P-CNES-004/FR 7 radiotéléphonie ou diffusé par diffusion terrestre. Les orbites précises de satellite et les horloges de satellite sont de préférence extraites d'un message diffusé par un satellite SBAS ou envoyé par un réseau de radiotéléphonie ou diffusé par diffusion terrestre ou par tout autre moyen de communication convenable. Brève description des dessins [0019] D'autres particularités et caractéristiques de l'invention ressortiront de la description détaillée d'une réalisation avantageuse présentée ci-dessous, à titre d'illustration, avec référence aux dessins annexés. Ceux-ci montrent: Fig. 1: des valeurs brutes de l'ambiguïté widelane calculées sur base de mesures de code et de phase ; Fig. 2: les résidus que l'on obtient après correction des valeurs brutes de l'ambiguïté widelane avec les délais internes de satellite ; Fig. 3: des résidus de l'ambiguïté narrowlane obtenus par filtrage conventionnel ; Fig. 4: des résidus de l'ambiguïté narrowlane obtenus par filtrage et résolution des ambiguïtés sur le réseau. Description d'une exécution préférée [0020] Pour chaque satellite visible depuis le récepteur, on a au niveau de ce dernier deux rnesures de code (non ambiguës), notées ci- après P, et P2, et deux mesures de phase (ambiguës), notées LI et L2, pour les fréquences fi et f2, respectivement. [0021] Dans la suite, on utilisera les notations suivantes : f , f2 2 C C _ fi' f2 2 où c représente la vitesse de la lumière. Pour les bandes LI et L2 du système GPS, on a, par exemple : fi = 154 fo et f2 = 120 fo, où fo=10,23 MHz. On utilisera aussi la convention selon laquelle les mesures de code PI, P2 sont exprimées P-CNES-004/FR 8 en unités de longueur, tandis que les mesures de phase LI, L2 sont exprimées en cycles. [0022] Les mesures de code et de phase remplissent les équations suivantes : P =D+(Ac+AT)+e+Ah P2 =D+y(Ac+az)+ye+Ah .1,L, = D+(Ac+AT)ùe+Ah+AbùÀ,N, 41.2 = D+y(Ac+OT)ù ye+Ah+Abù22N2 où D représente une grandeur comprenant la distance de propagation géométrique, les effets de la troposphère, les effets de différence de centre de phase, les effets de rotation géométrique de phase (phase 10 wind-up), les effets relativistes, etc. ; e contient le terme d'allongement ionosphérique qui varie en fonction du carré de la fréquence et qui est éliminé par la combinaison iono-free des observables de phase et de code; AT =Trec --ceme contient le différentiel des biais inter-fréquence (TGD) 15 entre l'émetteur et le récepteur ; Ac = Crec ùCerne contient le différentiel des écarts de centres de phase des fréquences respectives/centre de phase iono-free entre l'émetteur et le récepteur ; Ah = hrec ù herae représente la différence entre l'horloge du récepteur hrec 20 et celle de l'émetteur heme ; Ab = bref ùbe,1te représente la différence de biais de récepteur brec et d'émetteur berne (les biais brec et berne correspondent à des différences d'horloge entre le code et la phase); et où NI, N2 représentent les ambiguïtés de phase (entières) des deux 25 porteuses.5 P-CNES-004/FR 9 [0023] Les différences de phase (non ambiguës) entre l'émission des signaux par le satellite et la réception par le récepteur s'écrivent L1+N, et L2+N2, où NI et N2 représentent les ambiguïtés (entières) recherchées. On pose N,=N2-Nl, N, étant appelée ambiguïté widelane (entière). [0024] On calcule l'allongement ionosphérique de code par : =P,ùP2 eP . 1-y [0025] On pose : , Pù2eP_L etN ùPzù2yePùL . I 1 z ù 2 i Ces quantités ne dépendent que des mesures. [0026] Or, les bruits de mesure de code sont tels que, à l'échelle d'un passage (temps de visibilité d'un satellite), N, et 1V2 sont dispersées de l'ordre de la dizaine de cycles. Même en effectuant une moyenne par passage, on ne peut obtenir une estimation correcte de NI et N2. C'est la raison pour laquelle on utilise les mesures de code pour déterminer l'ambiguïté widelane. [0027] En développant les équations pour NI et N2, on obtient : N =N 2(4c+Ar)ùAb et N =N 2y(Ac+AT) Ab ù , --- 2 2 Â.z [0028] On obtient la valeur brute NW de l'ambiguïté widelane par : ùN, =N,,ù2 1~ 1 aa (Ac + Az)+ a \ /12 "7 / \ Àl '2 / Ab = Nw ù 2 (4c + AT)+ b w où À est défini par 1 /ÀW=1 /À,-1 /À2 et correspond à la longueur d'onde de la widelane (environ 87 cm dans le cas des bandes LI et L2). La fig. 1 montre un exemple de courbes de valeurs brutes d'ambiguïtés widelane issues de mesures de code et de phase (non différentiées) d'un récepteur. On trouve pour NW une expression de la forme : P-CNES-004/FR 10 On note qu'à l'échelle d'un passage, NW présente un bruit suffisamment faible (en dessous de la fraction de cycle) pour effectuer une estimation correcte de N,. Détermination de délais internes de satellite au niveau d'un réseau de référence [0029] Au niveau d'un réseau de référence comprenant au moins une station (un récepteur de référence), on détermine des valeurs brutes IVW de l'ambiguïté à partir des mesures de phase et de code. Les valeurs brutes IVW, sont évaluées à l'aide d'un estimateur sur un passage ou sur une partie de passage pour réduire le bruit, ce qui fournit une valeur brute estimée, notée \N-w). L'estimateur peut être, p.ex. une moyenne, une médiane ou un estimateur robuste avec rejet éventuel de mesures aberrantes. On pose que cette valeur (Nä,) peut se décomposer en une valeur entière et deux valeurs additionnelles lentement variables indépendantes de la mesure et spécifiques de délais internes au satellite et au récepteur : \N-w) = w(r> w(t) + Prec ù~eme [0030] En l'absence d'hypothèses supplémentaires, ce problème mixte entiers-réels est singulier, car dans toutes les équations interviennent les différences e(cr> ù e'1e) ce qui fait que les erre) et ré') ne sont définis qu'à une constante réelle près. D'autre part, Nw étant entier par passage, il y a aussi des 20 singularités globales entières au niveau des 1ié' et des ré . [0031] On commence le processus de calcul par choisir une première station du réseau, de préférence une dont on sait que les éC') sont stables dans le temps. Pour cette station, on fixe la valeur de ec(`) de façon arbitraire, p.ex. en posant eC`) = 0. On parcourt alors les passages des satellites en 25 visibilité de cette station. Pour chaque passage, on a (IV' w) = Nw ù mé), par définition de la première station (avec éC`) = 0 ). On décompose alors (Nw) en une quantité entière arbitraire (p.ex. l'entier le plus proche), notée NW, et une P-CNES004/FR 11 quantité pas nécessairement entière correspondant à la différence N W û(N,v), que l'on note me) . Cela fournit les m'~ des satellites en visibilité de la première station. [0032] Pour l'ensemble des satellites dont on connaît maintenant les délais internes :C , on estime les délais é,(`) des autres stations. Cette fois-ci, dans l'équation (J ) = N,, + @ ,( û me), la valeur de ,ume) est connue. On décompose alors ~,vw}+ m(e en un nombre entier arbitraire NW (de la nouvelle station) et le délai de station ; (c`) correspondant. On répète ces étapes pour tous les satellites de la constellation et toutes les stations du réseau de 10 référence. On obtient finalement des valeurs ~"eme cohérentes sur tout le réseau de référence. Les valeurs eme peuvent être considérées comme constantes sur au moins une journée. Détermination de d'horloges de satellite au niveau d'un réseau de référence [0033] Après avoir déterminé l'ambiguïté widelane, au moins une 15 ambiguïté (NI ou N2) reste inconnue. [0034] Du fait que l'ambiguïté widelane est connue, la résolution le l'ambiguïté de phase NI ou N2 (ambiguïté narrowlane) est facilitée de façon significative, en particulier en ce qui concerne les précisions de modélisation nécessaires. 20 [0035] Les mesures de code P, et P2 dépendent de plusieurs paramètres dont la distance géométrique entre les points d'émission et de réception, les effets ionosphériques, les effets troposphériques ainsi que les horloges d'émetteur et de récepteur. Pour identifier les ambiguïtés restantes, il faut disposer d'une modélisation suffisamment précise de ces grandeurs, ce qui va 25 nécessiter une résolution globale sur le réseau de récepteurs à traiter, à cause des horloges. [0036] On pose : P-CNES-004/FR 12 PQ = rPl ù PZ (code iono-free) y-1 2 ' 2 ( 1 ' 2 +N^1 +N-) (phase iono-free) yù1 où N, est une valeur estimée arrondie flottante de N, , obtenue p. ex. par calcul de moyenne ou de médiane ou à l'aide d'un estimateur robuste avec rejet 5 éventuel de valeurs aberrantes, sur le passage ou une partie du passage, des quantités IV1 estimés par le code et la phase : N, ,(N,)= P, -2eP - L, [0037] N, est éloignée de la vraie valeur de N, d'une dizaine de cycles à cause du bruit de mesure sur le code. 10 [0038] On peut relier les quantités mesurées de code et de phase avec la distance géométrique modélisée D par les équations suivantes : = D + hreC ù hem, = D + / 8N, + h ,ee ùh e e17Je avec k = (yÀ, ù.12)/(yù 1) , heme et hrec correspondant aux horloges respectives des émetteurs et récepteurs (une valeur par date), et 8N, étant la correction 15 d'ambiguïté (une valeur par passage, 8N, =N, ùN, ). La valeur de 8V, sera identifiée par le filtrage global. [0039] Les quantités D correspondent à modélisation complète de la distance de propagation, qui fait intervenir les éléments suivants : combinaison des centres de phase bi-fréquence : il s'agit de la 20 combinaison iono-free des centres de phase antenne (LI et L2) récepteur et émetteur ; les orbites précises des satellites ; loi d'attitude des satellites (loi d'attitude nominale en lacet) ; P-CNES-004/FR 13 effets relativistes dus à l'excentricité des satellites ; modélisation précise de la position du récepteur (avec modèle de marées terrestres) ; modélisation de l'allongement troposphérique (un allongement vertical 5 par station avec la fonction de rabattement dépendant du site telle que définie dans le Stanag) ; modélisation du Wind-up (rotation géométrique de phase). [0040] Les paramètres estimés par le filtre sont : à chaque pas de temps, les horloges heure et hreç des satellites et des 10 stations ; pour chaque passage, une ambiguïté de phase constante SN1 (sans la contrainte qu'il s'agit d'un nombre entier) un allongement troposphérique vertical pour chaque station, avec une variation lente dans le temps (typiquement un segment constant toutes 15 les 4 heures) ; des orbites précises des satellites (si des orbites précises ne sont pas fournies comme données d'entrée). [0041] Le filtre peut être en formulation moindres carrés ou en formulation de Kalman, plus compatible d'un traitement temps-réel. Les valeurs 20 d'entrée utilisées par le filtrage sont les valeurs de code iono-free et de phase iono-free, avec leurs bruits respectifs, qui sont de l'ordre de 1 m pour le code et 1 cm pour la phase. [0042] A l'issue de cette étape, on obtient des estimées des résidus SN1 identifiés calculés par (Q, ùDù(hree ùheme))/2e• Des exemples de résidus SN, 25 sont montrés à la fig. 1. (Les SN, ne sont pas entiers car aucune hypothèse sur les entiers n'a été faite lors du filtrage.) [0043] Cette étape de filtrage sert avant tout à calculer proprement le terme D (modélisation géométrique). Les horloges identifiées à cette étape sont P-CNES-004/FR 14 utilisées par la suite comme valeurs initiales ce qui permet par la suite de travailler sur des petites variations d'horloges, mais ce n'est pas indispensable. [0044] Avec la valeur de D obtenue par le filtrage, on cherche maintenant, au niveau du réseau de référence les valeurs entières des SNI . On utilise de nouveau l'équation Qc - D + 2ICUNI + hrec ù hem, , (*) [0045] où D prend maintenant la valeur trouvée par le filtrage. On remarque que l'équation possède une inobservabilité globale. En effet, on peut décaler les valeurs (SN1 concernant un émetteur donné et les valeurs heure et/ou hfeC correspondantes en conservant l'équation valide : Qc -D+~c\ +a)+\hrec ù Âca)ù heme [0046] A cette étape on calcule, de façon itérative les valeurs heure en commençant avec une première station (un premier récepteur de référence) dont l'horloge est prise comme horloge de référence, et en rajoutant successivement des stations afin de compléter la totalité du réseau. [0047] Pour la première station, on choisit SN1 = 0 et hrec = 0. Ce choix est arbitraire et résulte en un jeu de heme pour les satellites visibles depuis la première station tel que l'équation (*) est vérifiée. [0048] L'ajout d'une station est effectué comme suit. Avec le jeu de heure connus avant l'ajout de la station on calcule les résidus 8N, +hrec /A, qu'il faut exprimer sous la forme d'une valeur entière par passage (le SNI ), et un réel à chaque pas de temps (correspondant à l'horloge hfeC de la station ajoutée). La fig. 2 montre les résidus SNI +hYec //le pour une station nouvellement ajoutée. On remarque que les résidus sont espacés de valeurs entières et que leur décalage par rapport à la valeur entière la plus proche est identique. On peut donc poser que le décalage entre le résidu et la valeur entière la plus proche correspond à hrec/Àc et la valeur entière elle-même à SNI . P-CNES-004/FR 15 [0049] On note que pour une nouvelle station, les horloges des satellites, et donc les résidus SN1 +hrec ne sont connus, a priori, que une partie des passages. Mais comme SN1 est constante par passage, on peut l'étendre à la totalité du passage. Les époques auxquelles un satellite donné est visible à partir d'une station ne correspondent qu'en partie aux époques auxquelles le même satellite est visible pour une station voisine. Plus les stations sont distantes, moins les durées de temps d'observation commune sont grandes. Ceci implique qu'on ajoute toujours une station voisine au moins à une des stations précédentes. [0050] On identifie finalement un jeu de SN, entiers sur l'ensemble des passages de toutes les stations du réseau. On peut alors résoudre l'équation (*) sur l'ensemble des passages et pour toutes les stations du réseau avec les heme et hrec comme seules inconnues. [0051] Le procédé d'identification des heme décrit dans cette partie fonctionne en temps différé, mais un homme du métier saurait implémenter un procédé équivalent fonctionnant en temps réel. P.ex. en identifiant une ambiguïté entière à chaque arrivée d'un nouveau passage, en collectant suffisamment de mesures de ce passage et en supposant que la solution courante d'horloges de satellites est elle-même entière, on verrait apparaître directement dans les résidus de mesure la valeur entière de l'ambiguïté. Résolution des ambiguïtés de phase au niveau d'un récepteur (isolé) [0052]Un récepteur quelconque, peut, s'il connaît les erre des satellites visibles résoudre les ambiguïtés widelane. Le récepteur effectue des mesures de code et de phase, et trouve ainsi des valeurs brutes de l'ambiguïté widelane (illustrées à la fig. 1). Pour un passage (ou une partie de passage) il calcule une valeur brute moyenne de l'ambiguïté widelane et en déduit l'ambiguïté widelane NH, entière par résolution de l'équation : P-CNES-004/FR 16 où erre est maintenant un paramètre connu. Le récepteur peut obtenir les valeurs des eme d'une façon quelconque. Par exemple, il pourrait les télécharger d'une base de donnée externe (p.ex. d'un site internet). Ces valeurs étant très peu variables dans le temps, une fois obtenues, elles peuvent être utilisées pendant très longtemps à condition de les stocker à l'intérieur du récepteur. La fig. 2 montre les résidus CNW>+,uemé) = N,,, +1 é(`) obtenus après correction des valeurs brutes de l'ambiguïté widelane de la fig. 1 avec les délais internes de satellite eme respectifs connus. On voit que la valeur moyenne ou médiane pour chaque passage du résidu se trouve ramené autour d'une même valeur (pas nécessairement entière) commune à tous les passages (0,7 dans le cas illustré). La partie fractionnaire de cette valeur commune donne donc feci tandis que la partie entière donne l'ambiguïté widelane entière N,. [0053] La résolution de l'ambiguïté narrowlane au niveau du récepteur (isolé) est basée sur les équations = D + h,ec ù heme = D + 2 SN, + h,ec ù heme Pour déterminer 5N,, le récepteur a besoin de connaître les horloges de satellite ainsi que des orbites précises pour un certain temps d'observation (les orbites précises entrent dans la modélisation de D). De préférence, ces horloges de satellite et/ou les orbites précises sont diffusées par diffusion terrestre ou depuis un satellite SBAS (Satellite-Based Augmentation System). [0054] Dans un premier temps, le récepteur détermine par filtrage la valeur de D, sur base d'une modélisation analogue à celle mentionnée plus haut. Lors de cette étape de calcul de D, il est en général nécessaire que le récepteur reste immobile. Dans un deuxième temps, le récepteur estime ses horloges de récepteur et les SN,. Ensuite, il accède aux valeurs de N, par N, = 8N, +1V, et aux valeurs de N2 par N2=N,+Ni. Revendications 1. Procédé de traitement de signaux de radionavigation provenant d'un satellite d'une constellation de satellites de radionavigation, ledit satellite diffusant au moins un premier signal de radionavigation sur une première fréquence et un second signal de radionavigation sur une seconde fréquence distincte de la première, dans lequel procédé l'on détermine, au niveau d'un réseau de référence comprenant au moins un récepteur de référence à partir duquel ledit satellite est visible, un délai interne dudit satellite et une valeur entière de l'ambiguïté widelane pour ledit récepteur de référence sur base d'une valeur brute de l'ambiguïté widelane calculée à partir de mesures de code et de phase effectuées à l'aide dudit récepteur de référence pour chacun des premier et second signaux. 2. Procédé selon la revendication 1, dans lequel la détermination du délai interne de satellite comprend les étapes de : recevoir lesdits premier et second signaux de radionavigation au niveau dudit récepteur de référence ; effectuer, à l'aide dudit récepteur de référence et pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase ; calculer ladite valeur brute de l'ambiguïté de phase widelane à partir des mesures de code et des mesures de phase ; fixer le délai interne de satellite ainsi que la valeur entière de l'ambiguïté de phase widelane sur base de ladite valeur brute pour ledit récepteur de référence. 3. Procédé selon la revendication 1 ou 2, le réseau de référence comprenant une pluralité de récepteurs de référence à partir desquels, à chaque fois une pluralité de satellites de ladite constellation sont visibles, chacun des ces satellites diffusant au moins un premier signal de radionavigation sur ladite première fréquence et un second signal de radionavigation sur ladite seconde fréquence, dans lequel procédé l'on détermine, pour chaque combinaison satellite/récepteur de référence disponible, de façon cohérenteP-CNES-004/FR 18 au niveau du réseau de référence, un délai interne de satellite et une valeur entières d'ambiguïté widelane sur base d'une valeur brute de l'ambiguïté widelane calculée à partir de mesures de code et de phase effectuées pour chacun des premier et second signaux provenant du satellite respectif à l'aide du récepteur de référence respectif. 4. Procédé selon l'une quelconque des revendications 1 à 3, comprenant l'étape de diffuser le délai interne de satellite déterminé. 5. Procédé de traitement de signaux de radionavigation provenant d'un satellite d'une constellation de satellites de radionavigation, ledit satellite diffusant au moins un premier signal de radionavigation sur une première fréquence et un second signal de radionavigation sur une seconde fréquence distincte de la première, lequel procédé comprend, au niveau d'un réseau de référence comprenant un ou plusieurs récepteurs de référence à partir desquels ledit satellite est visible, les étapes de : recevoir lesdits premier et second signaux de radionavigation au niveau dudit ou desdits récepteurs de référence ; effectuer, à l'aide dudit ou desdits récepteurs de référence et pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase ; déterminer une valeur d'horloge de satellite dudit satellite à partir des mesures de code, des mesures de phase, d'une ou de plusieurs valeurs entières de l'ambiguïté widelane ainsi que d'une modélisation de la distance de propagation entre ledit satellite et ledit ou lesdits récepteurs de référence. 6. Procédé selon la revendication 5, dans lequel l'étape de détermination de la valeur d'horloge comprend les étapes de se procurer un délai interne de satellite concernant ledit satellite ; et déterminer une valeur entière de l'ambiguïté widelane sur base de ladite valeur brute et ledit délai interne de satellite. 7. Procédé selon la revendication 5 ou 6, dans lequel l'étape de détermination de la valeur d'horloge comprend l'estimation de paramètres de laP-CNES-004/FR 19 modélisation de la distance de propagation à l'aide partir des mesures de code, des mesures de phase et d' une ou de plusieurs valeurs entières de l' ambiguïté widelane et ensuite l'estimation de la valeur d'horloge à partir des paramètres estimés. 8. Procédé selon la revendication 7, dans lequel l'estimation de paramètres de la modélisation de la distance de propagation inclut la détermination d'une orbite précise concernant ledit satellite. 9. Procédé selon l'une quelconque des revendications 5 à 8, comprenant l'étape de diffuser la valeur d'horloge de satellite déterminée. 10. Procédé selon la revendication 8, comprenant l'étape de diffuser une orbite précise déterminée. 11. Procédé de traitement de signaux de radionavigation provenant d'un satellite d'une constellation de satellites de radionavigation, ledit satellite diffusant au moins un premier signal de radionavigation sur une première fréquence et un second signal de radionavigation sur une seconde fréquence distincte de la première, lequel procédé comprend, au niveau d'un récepteur à partir duquel ledit satellite est visible, les étapes de : recevoir lesdits premier et second signaux de radionavigation ; effectuer, pour chacun des premier et second signaux reçus, une mesure de code et une mesure de phase ; calculer une valeur brute de l'ambiguïté de phase widelane à partir des mesures de code et des mesures de phase ; se procurer un délai interne de satellite concernant ledit satellite ; et déterminer une valeur entière de l'ambiguïté widelane sur base de ladite valeur brute et ledit délai interne de satellite. 12. Procédé selon la revendication 11, dans lequel ledit délai interne de satellite est procuré à partir d'une base de données. 13. Procédé selon la revendication 11, dans lequel ledit délai interne est extrait d'un message diffusé par un satellite SBAS ou envoyé par un réseau de radiotéléphonie ou diffusé par diffusion terrestre.P-CNES-004/FR 20 14. Procédé selon l'une quelconque des revendications 11 à 13, comprenant les étapes de : se procurer une valeur d'orbite et une valeur d'horloge de satellite concernant ledit satellite ; estimer par filtrage, à partir des mesures de code, des mesures de phase de ladite valeur entière de l'ambiguïté widelane, de ladite valeur d'orbite, de ladite valeur d'horloge de satellite ainsi que d'une modélisation de la distance de propagation entre ledit satellite et ledit récepteur, une valeur entière d'une ambiguïté narrowlane. 15. Procédé selon la revendication 14, dans lequel ladite valeur d'orbite et ladite valeur d'horloge sont procurées à partir d'une base de données. 16. Procédé selon la revendication 14, dans lequel ladite valeur d'orbite et ladite valeur d'horloge sont extraites d'un message diffusé par un satellite SBAS ou envoyé par un réseau de radiotéléphonie ou diffusé par diffusion terrestre.