FR 2889739 A1 20070216 FR 0508449 A 20050809 2889739 1 Le domaine de l'invention est celui des systèmes de navigation qui comprennent une centrale de navigation inertielle hybridée avec un récepteur de positionnement par satellites. La présente invention concerne plus particulièrement un système de navigation et un procédé de contrôle d'un tel système aptes à détecter les pannes lentes du système de positionnement par satellites. L'utilisation de centrales de navigation inertielle est aujourd'hui classique dans le domaine de la navigation aérienne et de telles centrales sont généralement installées à bord des aéronefs. Ces centrales utilisent différents capteurs (accéléromètres, gyromètres, etc) fournissant des mesures dont l'intégration permet typiquement de déterminer l'orientation de l'aéronef, sa vitesse dans un repère terrestre, et sa position géographique. Les capteurs sont cependant imparfaits et présentent des erreurs intrinsèques ou des biais de mesure, susceptibles de varier au cours de la navigation. Ces capteurs sont de plus sujets aux bruits de mesure. Les biais et bruits de mesure sont d'autant plus gênants que les calculs réalisés à partir de mesures réalisées par les capteurs impliquent des intégrations. L'intégration engendre en effet une dérive de la valeur mesurée, dérive qui croît progressivement au cours du temps dès lors que la valeur intégrée est biaisée au départ. Les centrales inertielles s'avèrent ainsi précises sur une courte durée mais sont sujettes, du fait de l'intégration temporelle systématique des biais, à une dérive importante. Cette dérive nécessite un recalage périodique réalisé à partir d'autres informations. Un mode de recalage courant des centrales inertielles consiste à utiliser un récepteur de positionnement par satellites, embarqué dans l'aéronef et fournissant des informations de position et de vitesse à partir des signaux qu'il reçoit des satellites. On réalise ainsi des systèmes de navigation hybride qui profitent à la fois de la bonne qualité de mesures à court terme des centrales inertielles, et de la bonne précision de positionnement offerte par le système de positionnement par satellites. L'hybridation des deux sous-ensembles (centrale inertielle et système de positionnement par satellites), est typiquement réalisée par un filtrage numérique, généralement connu sous le nom de filtrage de Kalman, qui détermine une position dite position hybride à partir des informations provenant de la centrale inertielle et des informations fournies par un récepteur de positionnement par satellites. D'une manière générale, on souhaite améliorer constamment la précision et la fiabilité des informations de navigation (position, vitesse, altitude, etc.) fournies par les systèmes de navigation hybride (comprenant une centrale inertielle corrigée de ses erreurs de dérive par un récepteur de positionnement par satellites), mais aussi à connaître la valeur de la précision associée à une mesure. On cherche en particulier à être capable de fournir avec précision une information de position même si l'un des satellites est défaillant. Un contrôle de l'intégrité du signal satellite est alors généralement mis en oeuvre afin de détecter la défaillance d'un satellite. La fonction de détection et d'exclusion (FDE) d'un tel contrôle doit être capable d'exclure n'importe quel type de défaillance, et en particulier les défaillances liées à des dérives lentes difficilement identifiables et par conséquent susceptibles d'avoir un effet dramatique sur le recalage de la centrale de navigation inertielle. Ces dérives lentes se caractérisent typiquement par une rampe comprise entre 0.1 m/s et 5 m/s. Une dérive d'horloge satellite est un exemple d'une telle panne lente. Il s'agit d'un défaut particulièrement difficile à détecter car les signaux émis par le satellite continuent à présenter toutes les apparences de signaux intègres, et les résultats fournis périodiquement par le récepteur de positionnement par satellites ne présentent donc pas de sauts de position. Il est pourtant nécessaire que l'utilisateur ou le calculateur de bord de l'aéronef soit averti de ce type de défaut. Différentes méthodes connues sous l'appellation AAIM (acronyme anglosaxon de Aircraft Autonomous Integrity Monitoring pour Contrôle Autonome de l'Intégrité de l'Aéronef) ont été proposées. Deux méthodes principales sont aujourd'hui recommandées par la norme aéronautique civile DO 229 C du groupe de travail RTCA (Radio Technical Commission for Aeronautics) pour réaliser la fonction de détection et d'exclusion de I'AAIM. Il s'agit de la méthode AIME (acronyme anglo-saxon de ( Afin de détecter l'apparition d'une panne lente, ces méthodes proposent de mettre en oeuvre plusieurs filtres de Kalman en parallèle. L'un de ces filtres est dit filtre principal en ce qu'il utilise les données fournies par la centrale inertielle, ainsi que l'ensemble des N pseudo-distances mesurées par le récepteur GPS pour les N satellites en vue. Ce filtre principal fournit la solution de navigation hybride principale. N autres filtres de Kalman (filtres secondaires) sont également utilisés. Chaque filtre secondaire utilise les données inertielles ainsi qu'un sousensemble de N-1 pseudo-distances mesurées par le récepteur GPS, et fournit une solution de navigation hybride secondaire. Dans le cadre de la méthode SSM, les N+1 filtres de Kalman fonctionnent en parallèle, de sorte qu'un satellite défaillant peut être détecté en examinant la statistique de l'écart entre la position du filtre principal et chacune des positions établie par les filtres secondaires (c'est-àdire en comparant les informations de position fournies par les N+1 filtres). Le satellite défaillant est alors isolé, et le filtre principal est remplacé, pour le calcul de la solution de navigation, par le filtre secondaire ne contenant pas le satellite défaillant. Dans le cadre de la méthode AIME, seul le filtre principal est utilisé pour détecter l'occurrence d'une défaillance. Les N filtres secondaires sont quant à eux utilisés pour isoler le satellite défaillant. Ce satellite défaillant est alors isolé, et, pour le calcul de la solution de navigation, le filtre principal n'est pas remplacé par un filtre secondaire comme c'est le cas de la méthode SSM, mais la navigation est rejouée sur les 30 dernières minutes en excluant le satellite défaillant. Pour une présentation détaillée des méthodes recommandées dans la norme DO-229C, ainsi que pour une évaluation de leurs avantages et inconvénients, on pourra se rapporter à l'article A Performance Analysis of a Tightly Coupled GPS/Inertial System for Two Integrity Monitoring Methods de Dr. Young C. Lee et Daniel G. O'Laughlin, Institute of Navigation, ION GPS-99, September 14-17. L'un des inconvénients de ces méthodes est la nécessitée de réaliser un système de navigation hybride redondant, comportant N+1 filtres de Kalman fonctionnant en parallèle et déterminant chacun une solution de navigation. Il s'en déduit un système complexe et lourd en terme de calculs. L'invention a pour objectif de proposer une technique pour le contrôle autonome de l'intégrité au niveau du récepteur GPS qui ne présente pas les désavantages susmentionnés des méthodes de l'état de la technique et soit notamment plus simple à mettre en oeuvre. A cet effet l'invention propose un système de navigation comprenant un récepteur apte à recevoir des signaux en provenance d'une pluralité de transmetteurs et à mesurer, pour chaque transmetteur, une pseudo-distance entre le récepteur et ledit transmetteur, caractérisé en ce qu'il comporte: É des moyens pour calculer, pour chaque transmetteur, l'écart entre la pseudo-distance mesurée et une pseudo-distance estimée indépendante de la pseudo-distance mesurée; É des moyens pour détecter à partir desdits écarts l'éventuelle défaillance de l'un des transmetteurs. D'autres aspects préférés mais non limitatifs de ce système sont les suivants: - il comporte en outre des moyens pour déterminer, pour chaque transmetteur, une estimation de la pseudo-distance entre le récepteur et ledit transmetteur en utilisant l'ensemble des pseudo-distances mesurées à l'exception de celle mesurée pour ledit transmetteur; - les moyens pour déterminer l'estimation de la pseudo-distance entre le récepteur et un transmetteur comprennent: É des moyens pour évaluer la position du récepteur en utilisant l'ensemble des pseudo-distances mesurées à l'exception de celle mesurée pour ledit transmetteur, É des moyens pour estimer la pseudo-distance entre le récepteur et ledit transmetteur à partir de ladite position évaluée du récepteur et de données d'éphéméride concernant ledit transmetteur; -lesdits moyens pour détecter la défaillance comprennent des moyens d'observation de la variation statistique desdits écarts sur un horizon temporel correspondant à une dynamique de panne; - les moyens d'observation comportent des moyens pour comparer, pour chaque transmetteur, une pente estimée sur ledit transmetteur correspondant à une dynamique de panne avec l'écart-type de l'écart dudit transmetteur autour de la pente; - les moyens d'observation sont adaptés pour réaliser des observations sur une pluralité d'horizons temporels, et en ce que à chaque horizon temporel correspondent une dynamique de panne et une pente associée; - les moyens de détection de défaillance comportent en outre des moyens pour déclarer que l'un des transmetteurs est en panne lorsque le résultat de la comparaison avec une pente estimée est supérieur à un seuil; - les moyens de déclaration sont en outre adaptés pour indiquer lequel des transmetteurs est en panne; - le système comportant en outre une centrale de navigation inertielle générant des données de position, et des moyens pour déterminer la position du récepteur en utilisant les données générées par la centrale inertielle et l'ensemble des pseudo-distances mesurées, lesdits moyens pour déterminer la position du récepteur n'utilisant pas, en cas de détection de défaillance de l'un des transmetteurs, la pseudo-distance mesurée correspondant au transmetteur détecté comme défaillant; - le système comporte en outre des moyens de reconfiguration adaptés pour qu'en cas de détection d'une défaillance d'un transmetteur à un instant T, les moyens pour déterminer la position du récepteur déterminent à nouveau ladite position sans utiliser, dès un instant antérieur audit instant T d'une durée correspondant à l'horizon temporel associé à la dynamique de la panne du transmetteur, la pseudo-distance mesurée correspondant au transmetteur défaillant. Selon un autre aspect l'invention propose un procédé de contrôle d'un système de navigation comprenant un récepteur apte à recevoir des signaux en provenance d'une pluralité de transmetteurs, et à mesurer, pour chaque transmetteur, une pseudo-distance entre le récepteur et ledit transmetteur, le procédé étant caractérisé en ce qu'il comprend les étapes de: É calcul, pour chaque transmetteur, de l'écart entre la pseudo distance mesurée et une pseudo distance estimée indépendante de la pseudo distance mesurée, É détection, à partir desdits écarts, de l'éventuelle défaillance de l'un des transmetteurs. D'autres aspects préférés mais non limitatifs de ce procédé sont les suivants: 2889739 7 - il comporte une étape de détermination, pour chaque transmetteur, d'une estimation de la pseudo-distance entre le récepteur et ledit transmetteur en utilisant l'ensemble des pseudo-distances mesurées à l'exception de celle mesurée pour ledit transmetteur; - l'étape de détermination est mise en oeuvre en réalisant: É une évaluation de la position du récepteur en utilisant l'ensemble des pseudo- distances mesurées à l'exception de celle mesurée pour ledit transmetteur, É une estimation de la pseudo-distance entre le récepteur et ledit transmetteur à partir de ladite position évaluée et de données d'éphéméride concernant ledit transmetteur; - l'étape de détection est réalisée en observant la variation statistique desdits écarts sur un horizon temporel; l'observation comprend une opération de comparaison, pour chaque transmetteur, d'une pente estimée sur ledit transmetteur correspondant à une dynamique de panne avec l'écart-type de l'écart dudit transmetteur autour de la pente; - on réalise des observations sur une pluralité d'horizons temporels, à chaque horizon temporel correspondant une dynamique de panne et une pente associée; - l'étape de détection consiste à déclarer que l'un des transmetteurs est en panne lorsque le résultat de l'opération de comparaison est supérieur à un seuil; - la déclaration de la défaillance de l'un des transmetteurs indique celui des transmetteurs qui est détecté comme défaillant; - le procédé met également en oeuvre une étape de détermination de la position du récepteur en utilisant des données inertielles générées par centrale de navigation inertielle et l'ensemble des pseudo-distances mesurées, à l'exception, le cas échéant de celle correspondant au transmetteur détecté comme défaillant; - en cas de détection d'une défaillance d'un transmetteur à un instant T, il comporte en outre une étape de reconfiguration visant à réaliser à nouveau la détermination de la position du récepteur sans utiliser, dès un instant antérieur audit instant T d'une durée correspondant au moins à l'horizon temporel de la panne du transmetteur, la pseudo-distance mesurée correspondant au transmetteur défaillant. D'autres aspects, buts et avantages de la présente invention apparaîtront mieux à la lecture de la description détaillée suivante de formes de réalisation préférées de celle-ci, données à titre d'exemples non limitatifs et faite en référence aux dessins annexés sur lesquels: -la figure 1 représente de manière schématique un système de navigation hybride comprenant une centrale inertielle corrigée à l'aide d'un récepteur de positionnement par satellites, selon un mode de réalisation possible du premier aspect de l'invention; - la figure 2 illustre le principe de fonctionnement de la détection de la défaillance de l'un des satellites; - la figure 3 illustre la détection de défaillance sur différents horizons temporels. On a représenté de manière schématique sur la figure 1 un système de navigation 1 selon un mode de réalisation possible de l'invention. Le système 1 est un système de navigation hybride qui comporte: une centrale inertielle 2, un récepteur R apte à recevoir des signaux en provenance d'une pluralité de transmetteurs TI-TN (non représentés) et à mesurer, pour chaque transmetteur Ti, une pseudo-distance Pd; entre le récepteur R et ledit transmetteur Ti; et un calculateur d'hybridation 4. La centrale inertielle 2 est le plus souvent composée de capteurs de type accéléromètres, gyromètres, ainsi que d'un calculateur permettant de générer des données appelées par la suite données inertielles, et portant la référence INERT sur la figure 1. Ces données inertielles sont fournies par la centrale inertielle 2 au calculateur d'hybridation 4. Les transmetteurs sont typiquement des satellites, et le récepteur est alors un récepteur de positionnement par satellites, typiquement un récepteur GPS (selon l'acronyme anglo-saxon de Global Positionning System ). On prendra ainsi dans la suite de la description l'exemple d'une constellation de N satellites en vue d'un récepteur GPS. L'invention n'est toutefois pas limitée au système GPS, mais a vocation à s'étendre à tout type de système de positionnement par satellites du type GNSS (Global Navigation Satellite System), en particulier au futur système Galileo. Le récepteur GPS R fournit classiquement au calculateur 4 une position géographique (en longitude, latitude et altitude) ainsi que des vitesses de déplacement par rapport à la terre. Sur la figure 1, on regroupe sous la référence GPS l'ensemble des données fournies par le récepteur GPS R. Le récepteur R utilise pour son fonctionnement une mesure de distances entre le récepteur et chaque satellite en vue du récepteur. Ces distances sont en réalité des pseudo-distances Pd; (i désignant un satellite) obtenues sous forme de durée de propagation de signal entre chacun des satellites i et le récepteur R le long de l'axe joignant le satellite et le récepteur. La combinaison des pseudo- distances sur plusieurs axes satellites avec la connaissance des positions des satellites à un moment donné (envoyés sous la forme d'éphémérides par les satellites eux-mêmes) permet de calculer la position GPS. Les données inertielles INERT et les données GPS sont traitées dans le calculateur d'hybridation 4 pour fournir des données inertielles hybrides HYB (latitude hybride, vitesse hybride, position hybride, etc.). Le calculateur d'hybridation fournit aussi une ou plusieurs valeurs de rayon de protection HPLNPL (c'est-à-dire respectivement un niveau de protection horizontal et un niveau de protection vertical) représentant la précision des données HYB issues de l'hybridation (il s'agit typiquement du rayon à l'intérieur duquel l'intégrité de la position est garantie avec une probabilité d'erreur bornée). L'hybridation est typiquement réalisée par des algorithmes de filtrage de Kalman permettant de prendre en compte les erreurs intrinsèques de la centrale inertielle et de corriger ces erreurs à l'aide des données satellites. Dans le cadre de la présente invention, et afin de réaliser la fonction de détection et d'exclusion, les hypothèses suivantes sont faites: la probabilité d'avoir deux pannes indépendantes successivement dans la même heure est négligeable, et un tel cas n'est donc pas traité, on considère par ailleurs qu'une panne n'est pas intermittente. Revenant à la description de la figure 1, on a représenté sous la référence 3 des moyens permettant de détecter une panne lente de l'un des satellites TI-TN en vue du récepteur 3. On notera dès à présent que ces moyens peuvent utiliser uniquement les données GPS, et que la détection de panne peut ainsi être est réalisée dans le cadre de la présente invention (sans que cela ne soit toutefois limitatif) sans utilisation d'autres données, et notamment sans utilisation des données inertielles INERT. Plus précisément, et selon un mode de réalisation qui sera décrit plus en avant par la suite, ces moyens 3 permettent de détecter que le i-ème satellite présente une panne lente de type j. La référence 5 sur la figure 1 illustre des moyens aptes à mémoriser l'ensemble des données INERT, GPS fournies respectivement par la centrale inertielle 2 et par le récepteur R. Comme cela sera également décrit plus en avant par la suite, ces moyens de mémorisation 5 permettent, suite à la détection de la défaillance du i-ème satellite, de recalculer à nouveau la solution de navigation HYBRID, ainsi qu'un rayon de protection, en excluant les données correspondant au i-ème satellite, et ce depuis un instant considéré comme correspondant au début de la panne de ce satellite. Ces moyens de mémorisation sont ainsi un exemple de moyens prévus par la présente invention permettant de réaliser une reconfiguration du système suite à la détection d'une panne, pour retrouver une solution de navigation hybride non polluée par la panne. On décrit plus précisément ci-après le fonctionnement des moyens 3 pour la détection d'une panne lente d'un satellite. Le système de navigation 1 comporte à cet effet des moyens pour calculer, pour chaque satellite Ti, l'écart entre la pseudo-distance mesurée A Pd; et une pseudo-distance estimée Pd, indépendante de la pseudo-distance mesurée Pdi. La pseudo-distance estimée Pd; peut en particulier être calculée en utilisant l'ensemble des pseudo-distances mesurées, à l'exception de celle 15 mesurée pour ledit satellite Ti. A cet effet, et comme cela est représenté de manière schématique sur la figure 2, le système comporte des moyens Fl-FN pour déterminer, pour n chaque satellite Ti, une estimation Pd; de la pseudo-distance entre le récepteur R et ledit satellite Ti en utilisant l'ensemble des pseudodistances mesurées Pd; (j i) à l'exception de celle mesurée pour ledit satellite Ti. Un mode de réalisation possible de cette estimation est le suivant. On réalise un filtre F; qui utilise en entrée l'ensemble des pseudodistances Pdi, avec j différent de i, ainsi que des données d'éphéméride correspondant au i-ème satellite. Le filtre F; permet de déterminer une estimation Pd; de la pseudo-distance entre le récepteur et le i-ème satellite. On élabore N filtres FI-FN de ce type, un par satellite TI-TN. 2889739 12 Un filtre Fi évalue tout d'abord la position du récepteur R sur la base de N-1 pseudo-distances mesurées par le récepteur (celles correspondant aux satellites autre que le i-ème). L'utilisation de données d'éphéméride concernant le i-ème satellite A permet ensuite au filtre F; d'estimer la pseudo-distance Pd; entre le récepteur et le i-ème satellite à partir de la position évaluée du satellite (et cela indépendamment de la pseudo-distance mesurée Pd; entre le récepteur et le i-ème satellite). La pseudo-distance estimée pour le i-ème satellite est par conséquent strictement indépendante des données provenant de ce satellite, et n'est en particulier aucunement polluée par une défaillance éventuelle du satellite Ti. A l'aide de soustracteurs Cl-CN, on calcule alors, pour chacun des satellites Tl-TN, l'écart Y; entre la pseudo-distance mesurée Pd; et la pseudo n A distance estimée Pd; selon Y,. =Pd; Pd; . Les deux pseudodistances (celle mesurée Pd; et celle estimée Pd;) étant strictement indépendantes, l'écart Y; est, en l'absence de panne du satellite Ti, une variable gaussienne à moyenne nulle et d'écart-type o. Le système comporte en outre des moyens 6 pour détecter à partir desdits écarts YI-YN l'éventuelle défaillance de l'un des satellites T,-TN. Plus précisément l'invention propose d'observer la variation statistique desdits écarts Y1-YN sur un horizon temporel lié à la dynamique des pannes. L'invention prévoit en particulier de détecter différents types de panne, chaque panne présentant une dynamique particulière, et ainsi d'observer la variation statistiques des écarts YI-YN sur une pluralité d'horizons temporels H1-Hm, chaque horizon étant lié à la dynamique d'une panne particulière. Une panne très lente sera observée sur un horizon plus important que l'horizon permettant d'observer une panne plus rapide, et il s'avère donc judicieux de disposer de plusieurs horizons temporels afin de pouvoir détecter une panne le plus rapidement possible. On considère les hypothèses de panne suivantes: É h1,o: le satellite i n'est pas en panne; É h1,1: le satellite i est en panne, et la panne peut être détectée en premier sur l'horizon HI; h1,i: le satellite i est en panne, et la panne peut être détectée en premier sur l'horizon H;; É hi, m: le satellite i est en panne, et la panne est peut être détectée en premier sur l'horizon Hm. Les pannes étudiées dans le cadre de l'invention sont des pannes qui conduisent à une erreur de pseudo-distance linéaire en fonction du temps (rampe). On note ici que différents types de pannes, leur dynamique ainsi que leurs exigences en termes de probabilités maximales de fausse alarme ou de non détection, sont décrits dans l'appendice R de la norme DO-229C. Afin de tester ces hypothèses de pannes, on observe la variation statistique des écarts Yl-YN sur m horizons temporels différents Hi-Hm de manière à pouvoir réaliser des estimations optimales de la variance de l'erreur sur chaque satellite. Pour chaque type de panne, on détermine un couple (Ki; At) où : É Ath représente l'écart temporel minimal entre les écarts Yi(t) et Yi(t+Atj) pour que ceux-ci soient suffisamment non corrélés au regard de la dynamique de la panne à détecter. Ath est supérieur ou égal à 1/F1, où FI représente la fréquence à laquelle le récepteur GPS délivre les pseudodistances mesurées pour chaque satellite visible; É Ki représente le nombre d'écarts successifs et non corrélés nécessaires pour détecter une panne sur l'horizon Hi. On en déduit donc l'horizon temporel Hi associé à une panne de type j, c'est-à-dire le temps maximal K; *At; nécessaire pour détecter une telle panne de type j. La figure 3 illustre cette détection de différents types de pannes, c'està-dire de pannes de dynamiques différentes. La figure 3 représente plus précisément le couple (Ki; Ati) associé respectivement à une panne de type 1, 2, 3 ou 4. Dans le cadre de cette figure 3, on notera que le nombre Ki d'écarts à prendre en compte est identique pour chacune des pannes. La panne de type 1 est la panne la plus rapide, et la panne de type 4 est la plus lente. L'horizon H4 de la panne de type 4 est ainsi le plus grand. Revenant à la description de l'observation de la variation statistique des écarts Yl-YN, le système 1 comporte des moyens pour comparer, pour chaque satellite Ti: - la pente p;,i estimée sur ledit satellite Ti en faisant l'hypothèse de panne hi,j; et l'écart-type 6;,i de l'écart Y; calculé pour ledit satellite Ti autour de la pente pi,i. Les résultats de ces différentes comparaisons peuvent par exemple être obtenus en utilisant des méthodes d'estimation du type des moindres carrés D. On peut alors écrire ces résultats sous la forme d'une matrice E: p ' , où i est compris entre 1 et N (nombre de satellites) et 6.. - i,l _ (1..N;1..m) j entre 1 et m (nombre de pannes). On considère un ensemble de m seuils de détection Si, chaque seuil étant associé à un type de panne. Les seuils Sj sont déterminés en tenant compte des exigences de Pfai (probabilité de fausse alarme) . Le test de détection d'une panne de type j consiste alors à comparer l'ensemble des termes de la matrice E aux seuils Si, et cela toutes les Ati secondes. E(i, A= = En l'absence d'une panne de type j de l'un des satellites TI-TN, les valeurs des termes de la matrice E sont bornées: Vi, E(i, j) E [0; Sj]. En revanche, lorsque 3(i, j)/E(i, j)> S1, on a détecté la défaillance de l'un des satellites. II est par ailleurs possible de conclure quant au fait que le satellite défaillant est le satellite Ti, voire même de conclure que ce satellite défaillant Ti présente une panne de type j. Revenant à la description de la figure 1, les moyens 3 de détection de panne indiquent aux moyens de mémorisation 5 l'occurrence d'une panne de l'un des satellites. Selon un mode de réalisation particulier de l'invention, ces moyens 3 peuvent par ailleurs indiquer aux moyens de mémorisation 5 l'occurrence d'une panne de type j du satellite Ti. La position hybride HYB est alors déterminée en utilisant les données INERT de la centrale inertielle et l'ensemble des pseudo-distances mesurées par le récepteur R à l'exception de celle correspondant au satellite détecté comme défaillant. En d'autres termes, on exclut les données issues du satellite défaillant du calcul de la solution de navigation. D'une manière générale, l'invention prévoit, une fois une panne détectée, de mettre en oeuvre une reconfiguration du calcul de la solution denavigation, pour retrouver une solution de navigation hybride non polluée par la panne. Une telle solution non polluée par la panne est typiquement une solution sous-optimale dans le sens où elle n'utilise pas toutes les mesures disponibles (au contraire de la solution principale désormais polluée), mais cette solution sous-optimale présente l'avantage d'être intègre. Une telle solution sous-optimale intègre est par exemple la solution de navigation obtenue en utilisant uniquement les données INERT (solution de navigation inertielle pure), ou encore la solution de navigation obtenue en utilisant les données INERT associées à une ou plusieurs mesures provenant d'un ou plusieurs capteurs non défaillants. Un autre exemple non limitatif de reconfiguration est celui explicité ciaprès de la mise en oeuvre d'un rejeu au cours duquel la position hybride HYB est déterminée en utilisant les données du passé mémorisées (données INERT issues de la centrale inertielle 2, et données GPS issues du récepteur R), et en supprimant les mesures issues du satellite défaillant Ti depuis un instant correspondant au minimum au début de la panne dudit satellite. Soit T l'instant auquel on détecte une panne de type j du satellite Ti. On peut alors considérer que le satellite Ti est en panne depuis l'instant T-Hi, où Hj représente l'horizon temporel de la panne de type j (c'est-à-dire la durée maximale nécessaire pour détecter la panne de type j). Une telle reconfiguration par mise en oeuvre d'un rejeu est avantageuse dans la mesure où l'apport du satellite Ti est conservé jusqu'à l'instant t= T-Hi de début de panne dans le calcul de la solution de navigation, puis exclu dudit calcul de la solution de navigation. D'une manière plus générale, on peut utiliser un majorant de tous les horizons afin de s'assurer que la panne n'était pas présente à l'instant à partir duquel le rejeu commence. Cette méthode permet d'être robuste à une erreur d'identification de la panne. Bien entendu, les moyens de mémorisation 5 sont alors adaptés pour enregistrer les données INERT et GPS sur une durée correspondant (au minimum) à l'horizon temporel de la panne la plus lente (c'est-à-dire à l'horizon H4 dans le cadre de la figure 3), ou au majorant mentionné cidessus de l'ensemble des horizons temporels. REVENDICATIONS 1. Système de navigation comprenant un récepteur (R) apte à recevoir des 5 signaux en provenance d'une pluralité de transmetteurs (Ti-TN) et à mesurer, pour chaque transmetteur (Ti), une pseudo-distance (Pd;) entre le récepteur (R) et ledit transmetteur (Ti), caractérisé en ce qu'il comporte: É des moyens (Fl-FN;Cl-CN) pour calculer, pour chaque transmetteur (Ti), l'écart (Y.) entre la pseudo-distance mesurée (Pd;) et une pseudo- A distance estimée (Pd;) indépendante de ladite pseudo-distance mesurée (Pd; ) ; É des moyens (6) pour détecter à partir desdits écarts (Yl-YN) l'éventuelle défaillance de l'un des transmetteurs (Ti-TN). 2. Système selon la revendication précédente, caractérisé en ce qu'il comporte en outre des moyens (FI-FN) pour déterminer, pour chaque n transmetteur (Ti), une estimation (Pd;) de la pseudo-distance entre le récepteur (R) et ledit transmetteur (Ti) en utilisant l'ensemble des pseudo-distances mesurées (Pd,,,) à l'exception de celle (Pd;) mesurée pour ledit transmetteur (Ti). 3. Système selon la revendication précédente, caractérisé en ce que les moyens pour déterminer l'estimation de la pseudo-distance entre le récepteur et un transmetteur comprennent: É des moyens pour évaluer la position du récepteur en utilisant l'ensemble des pseudo-distances mesurées (Pd,,,) à l'exception de celle (Pd;) mesurée pour ledit transmetteur (Ti) ; É des moyens pour estimer la pseudo-distance entre le récepteur et ledit transmetteur à partir de ladite position évaluée du récepteur et de données d'éphéméride concernant ledit transmetteur. 4. Système selon l'une des revendications précédentes, caractérisé en ce que lesdits moyens pour détecter la défaillance comprennent des moyens d'observation (6) de la variation statistique desdits écarts sur un horizon temporel correspondant à une dynamique de panne. 5. Système selon la revendication précédente, caractérisé en ce que les moyens d'observation comportent des moyens pour comparer, pour chaque transmetteur (Ti), une pente (pi,j) estimée sur ledit transmetteur correspondant à une dynamique de panne avec l'écart-type (o,i) de l'écart dudit transmetteur (Ti) autour de la pente. 6. Système selon la revendication précédente, caractérisé en ce que les moyens d'observation sont adaptés pour réaliser des observations sur une pluralité d'horizons temporels (HI-Hm), et en ce que, à chaque horizon temporel, correspondent une dynamique de panne et une pente associée. 7. Système selon l'une des deux revendications précédentes, caractérisé en ce que les moyens de détection de défaillance comportent en outre des moyens pour déclarer que l'un des transmetteurs est en panne lorsque le résultat de la comparaison avec une pente estimée est supérieur à un seuil (Si). 8. Système selon la revendication précédente, en combinaison avec la revendication 6, caractérisé en ce que les moyens pour déclarer sont en outre adaptés pour indiquer lequel des transmetteurs est en panne. 9. Système selon l'une des revendications précédentes, caractérisé en ce qu'il comporte en outre: É une centrale de navigation inertielle (2) générant des données de position (INERT) ; É des moyens (4) pour déterminer la position du récepteur (HYB) en utilisant les données générées par la centrale inertielle et l'ensemble des pseudo-distances mesurées (GPS, Pd;) ; et en ce que en cas de détection de défaillance de l'un des transmetteurs, les moyens (4) pour déterminer la position du récepteur n'utilisent pas la mesure de pseudo-distance correspondant au transmetteur détecté comme défaillant. 10. Système selon la revendication précédente, en combinaison avec l'une quelconque des revendications 5 à 10, caractérisé en ce qu'il comporte en outre des moyens de reconfiguration (5) adaptés pour qu'en cas de détection d'une défaillance d'un transmetteur à un instant T, les moyens (4) pour déterminer la position du récepteur déterminent à nouveau ladite position sans utiliser, dès un instant antérieur audit instant T d'une durée correspondant au moins à l'horizon temporel (Hi) associé à la dynamique de la panne du transmetteur (Ti), la pseudo-distance mesurée (Pd;) correspondant au transmetteur défaillant (Ti). 11. Système selon la revendication précédente, caractérisé en ce que les moyens de reconfiguration comportent des moyens de mémorisation (5) des données (INERT) de la centrale inertielle et des pseudo-distances mesurées. 12. Procédé de contrôle d'un système de navigation comprenant un récepteur (R) apte à recevoir des signaux en provenance d'une pluralité de transmetteurs (Ti-TN), et à mesurer, pour chaque transmetteur (Ti), une pseudo-distance (Pd;) entre le récepteur (R) et ledit transmetteur (Ti), le procédé étant caractérisé en ce qu'il comprend les étapes de: É calcul, pour chaque transmetteur (Ti), de l'écart (Y,.) entre la n pseudodistance mesurée (Pd;) et une pseudo distance estimée (Pd; ) A indépendante de ladite pseudo-distance mesurée (Pd;) ; É détection, à partir desdits écarts (Yl-YN), de l'éventuelle défaillance de l'un des transmetteurs (Ti-TN). 13. Procédé selon la revendication précédente, caractérisé en ce qu'il comporte en outre une étape de détermination, pour chaque transmetteur A (Ti), d'une estimation (Pd;) de la pseudo-distance entre le récepteur (R) et ledit transmetteur (Ti) en utilisant l'ensemble des pseudo-distances mesurées (Pdn,) à l'exception de celle (Pd;) mesurée pour ledit transmetteur (Ti). 14. Procédé selon la revendication précédente, caractérisé en ce que l'étape de détermination de l'estimation de la pseudo-distance entre le récepteur et un transmetteur est mise en ceuvre en réalisant: É une évaluation de la position du récepteur (R) en utilisant 20 l'ensemble des pseudo-distances mesurées (Pd,,,) à l'exception de celle (Pd;) mesurée pour ledit transmetteur (Ti) ; É une estimation Pd; de la pseudo-distance entre le récepteur et ledit transmetteur à partir de ladite position évaluée et de données d'éphéméride concernant ledit transmetteur. 15. Procédé selon l'une des deux revendications précédentes, caractérisé en ce que l'étape de détection d'une éventuelle défaillance est mis en oeuvre en observant la variation statistique desdits écarts sur un horizon temporel correspondant à une dynamique de panne. 16. Procédé selon la revendication précédente, caractérisé en ce que l'observation comprend une opération de comparaison, pour chaque transmetteur, d'une pente (pi,i) estimée sur ledit transmetteur correspondant à une dynamique de panne avec l'écart-type (a;,i) de l'écart Y; dudit transmetteur (Ti) autour de la pente. 17. Procédé selon la revendication précédente, caractérisé en ce qu'on réalise des observations sur une pluralité d'horizons temporels (HI-Hm), et en ce que à chaque horizon temporel correspondent une dynamique de panne et une pente associée. 18. Procédé selon l'une des deux revendications précédentes, caractérisé en ce que l'étape de détection d'une éventuelle défaillance de l'un des transmetteurs consiste à déclarer que l'un des transmetteurs est en panne lorsque le résultat de l'opération de comparaison est supérieur à un seuil (Si). 19. Procédé selon la revendication précédente, en combinaison avec la revendication 16, caractérisé en ce que la déclaration de la défaillance de l'un des transmetteurs indique également lequel des transmetteurs est en panne. 20. Procédé selon l'une des revendications 12 à 18, caractérisé en ce qu'il met également en oeuvre une étape de détermination de la position du récepteur en utilisant des données inertielles (INERT) générées par une centrale de navigation inertielle et l'ensemble des pseudo-distances mesurées (GPS, Pd;), et en ce la détermination de la position du récepteur est réalisée, en cas de détection de défaillance de l'un des transmetteurs, sans utiliser la mesure de pseudo-distance correspondant au transmetteur détecté comme défaillant. 21. Procédé selon la revendication précédente, en combinaison avec l'une quelconque des revendications 14 à 19, caractérisé en ce que, en cas de détection d'une défaillance d'un transmetteur à un instant T, il comporte en outre une étape de reconfiguration visant à réaliser à nouveau la détermination de la position du récepteur sans utiliser, dès un instant antérieur audit instant T d'une durée correspondant au moins à l'horizon temporel associé à la dynamique de la panne du transmetteur, la pseudodistance mesurée correspondant au transmetteur défaillant.