FR 3104705 A1 20210618 FR 1914339 A 20191213 Un procédé de filtrage particulaire régularisé à boîtes met en œuvre une représentation binaire de nombres. Cette mise en œuvre peut être utilisée pour déterminer une coordonnée de division de boîte, et/ou pour modifier des intervalles d’état selon un noyau de probabilité fixé, par exemple selon un noyau d’Epanechnikov. Le procédé peut être exécuté de façon autonome au sein d’une centrale de navigation à corrélation de mesure (10), notamment à bord d’un aéronef (20) tel qu’un avion, un drone volant ou tout porteur aérien autopropulsé. Figure d’abrégé : Figure 1 FILTRAGE PARTICULAIRE ET CENTRALE DE NAVIGATION A CORRELATION DE MESURE La présente invention concerne un procédé de filtrage particulaire, ainsi qu’une unité de calcul et une centrale de navigation à corrélation de mesure qui mettent en œuvre un tel procédé. Plus particulièrement, le procédé de filtrage particulaire est du type régularisé à boîtes. La fonction de navigation d’un aéronef inclut l’estimation de sa position instantanée, sa vitesse instantanée et son orientation instantanée, appelée attitude, dans le référentiel de navigation, aussi appelé trièdre géographique local. L’ensemble des valeurs instantanées des coordonnées de position, c’est-à-dire la latitude, la longitude et l’altitude de l’aéronef, de vitesse, comprenant une coordonnée de vitesse en direction du Nord, une coordonnée de vitesse en direction de l’Est et une coordonnée de vitesse de descente, et des angles d’attitude de l’aéronef, comprenant un angle de roulis, un angle de tangage et un angle de lacet, constitue l’état instantané du système formé par l’aéronef. L’aéronef peut être un avion, un drone ou tout porteur aérien autopropulsé, sans limitation. L’accélération et la vitesse angulaire de l’aéronef sont mesurées répétitivement et à haute cadence chacune selon trois axes, par exemple à une fréquence de répétition d’environ 1000 Hz (Hertz), à l’aide d’accéléromètres et de gyromètres d’une centrale inertielle qui est à bord de l’aéronef. La centrale de navigation délivre alors des estimations des coordonnées de position et de vitesses, et des angles d’attitude de l’aéronef, par intégration des résultats des mesures accélérométriques et gyrométriques au cours du temps. Toutefois, chaque mesure d’accélération et de vitesse angulaire est affectée d’une erreur, qui est principalement composée d’un biais, d’un facteur d’échelle et d’un processus aléatoire, et l’accumulation des erreurs de mesure résulte en une erreur qui affecte l’estimation de l’état instantané de l’aéronef. Cette erreur sur l’état instantané qui est estimé croît en fonction du temps, et est couramment appelée dérive inertielle. Il est alors nécessaire d’associer la centrale inertielle à au moins un capteur additionnel, afin de corriger ou réduire la dérive inertielle. Des méthodes usuelles pour corriger ou réduire la dérive inertielle consistent à utiliser des signaux de géolocalisation, tels que des signaux de navigation par satellite, par exemple de type GNSS, pour «global navigation satellite system» en anglais, ou d’utiliser des signaux qui sont produits par des balises situées au sol, par exemple des signaux de radionavigation ou de type GBAS, pour «ground-based augmentation system» ou système de renforcement au sol, ou encore de recevoir par radio une localisation de l’aéronef qui a été effectuée à l’aide d’un radar. Mais de telles méthodes sont sensibles à des brouillages ou à des leurres, à la disponibilité d’une couverture de la zone où se trouve l’aéronef en signaux de localisation ou en communication, etc. Il est alors souhaitable dans certaines circonstances de disposer à bord de l’aéronef d’une méthode qui soit autonome pour corriger et/ou réduire la dérive inertielle. Pour cela, il est courant d’associer à la centrale inertielle une sonde télémétrique, qui mesure une distance entre l’aéronef et le sol. Cette sonde télémétrique peut être un radio-altimètre, un télémètre laser, etc. sans limitation. Elle mesure la distance entre l’aéronef et le sol selon une direction qui peut être fixe ou non par rapport à l’aéronef. Lorsque cette direction de mesure de distance peut être variable, son orientation par rapport à l’aéronef est connue. La centrale inertielle est alors aussi associée à une unité de calcul qui corrèle des résultats de mesures successives qui sont effectuées par la sonde télémétrique avec l’état instantané de l’aéronef tel qu’estimé par la centrale inertielle. Plus précisément, une caractérisation de la zone qui est survolée par l’aéronef est stockée à bord de l’aéronef, par exemple sous forme d’une carte de relief qui associe une valeur de hauteur de relief à chaque couple de valeurs de latitude et de longitude. Un tel enregistrement de carte de relief peut être sous la forme d’une table, avec la latitude et la longitude qui constituent les entrées de la table, et les valeurs de hauteur du relief qui constituent les réponses de lecture dans la table. Alternativement, la caractérisation de la zone survolée peut être stockée sous forme d’une fonction analytique qui permet de calculer les valeurs de hauteur de relief en fonction des valeurs de latitude ou de longitude, ou sous toute autre forme appropriée. Alors, à chaque nouvelle estimation de la position instantanée de l’aéronef qui est produite par la centrale de navigation, une valeur de la distance qui devrait exister entre l’aéronef et le sol est obtenue en interrogeant la caractérisation de la zone survolée telle que stockée à bord de l’aéronef, conformément à la position estimée de l’aéronef. Eventuellement, la valeur de distance aéronef-sol peut résulter d’un calcul qui combine la position estimée de l’aéronef avec le(s) résultat(s) d’une ou plusieurs interrogation(s) de la caractérisation de la zone survolée qui est stockée à bord de l’aéronef, notamment lorsque la direction de mesure de la sonde télémétrique est oblique par rapport à l’axe d’altitude. Un tel calcul est connu de l’Homme du métier, si bien qu’il n’est pas utile de le répéter ici. La valeur de distance aéronef-sol qui est ainsi estimée est ensuite comparée avec le résultat de mesure qui est délivré par la sonde télémétrique. Une telle méthode de navigation avec corrélation de mesure est couramment appelée navigation avec corrélation de terrain. Plusieurs variantes en ont été proposées, mais certaines d’entre elles présentent une grande sensibilité à l’existence de non-linéarités des profils de terrain. Autrement dit, elles présentent l’inconvénient d’un manque de robustesse dans leur efficacité de convergence vers l’état vrai de l’aéronef, en fonction des profils de terrain possibles. Les méthodes de navigation à corrélation de terrain qui sont basées sur un filtre particulaire régularisé à boîtes, ou BRPF pour «Box Regularized Particle Filter» en anglais, permettent de corriger la dérive inertielle avec une robustesse plus grande, compatible avec l’existence de non-linéarités et d’ambiguïtés de terrain. L’article de Merlinge, N., Dahia, K., Piet-Lahanier, H., Brusey, J., & Horri, N. qui est intitulé «A Box Regularized Particle Filter for state estimation with severely ambiguous and non-linear measurements», Automatica (2019), Vol. 104, pp. 102-110, décrit une telle méthode. Chacune de ces méthodes consiste encore à calculer itérativement un état instantané de l’aéronef à partir d’un dernier état déterminé antérieurement, et à corréler le résultat de mesure de distance qui est obtenu par la sonde télémétrique avec une valeur de distance qui est reconstituée par ailleurs à partir de la caractérisation du relief terrestre embarquée à bord de l’aéronef et des valeurs de position et d’attitude. Mais, un filtre particulaire régularisé à boîtes procède en manipulant des intervalles d’état, de dimension neuf lorsque chaque état de l’aéronef est constitué par trois coordonnées de position, trois coordonnées de vitesse et trois angles d’attitude comme décrit plus haut. De plus, une valeur de poids à signification probabiliste est associée à chaque intervalle d’état : le poids de chaque intervalle d’état correspond à la probabilité pour que l’état vrai de l’aéronef se situe dans cet intervalle d’état. Toutefois, ces méthodes de navigation avec corrélation de terrain qui sont basées sur des filtres particulaires n’ont pas encore été mises en œuvre pour des aéronefs réels, à cause des ressources de calcul très importantes qui sont nécessaires. En effet, il est requis pour de nombreuses applications aéronautiques que le procédé de navigation à corrélation de terrain qui est utilisé puisse être mis en œuvre par une unité de calcul de type circuit à réseau de portes programmables, ou FGPA pour «Field-Programmable Gate Array» en anglais. Or les circuits de ce type ont des capacités qui sont encore trop limitées. De façon connue, un procédé de filtrage particulaire régularisé à boîtes comprend au moins une exécution d’une séquence qui inclut les étapes suivantes : /1/ une étape de prédiction, comprenant de prédire des intervalles d’état ultérieurs, chaque intervalle d’état ultérieur étant obtenu en appliquant au moins une règle de propagation à un d’une pluralité d’intervalles d’état antérieurs, chaque intervalle d’état étant possiblement multidimensionnel ; /2/ une étape de mesure de l’état vrai ; /3/ une étape de contraction de l’un au moins des intervalles d’état ultérieurs, en fonction d’au moins un résultat de mesure de l’état vrai qui a été obtenu à l’étape /2/ ; /4/ une étape de mise-à-jour de poids, comprenant d’affecter un poids à chaque intervalle d’état ultérieur en fonction d’une taille de cet intervalle d’état ultérieur tel que résultant de l’étape /3/, d’une taille du même intervalle d’état ultérieur tel que résultant de l’étape /1/ avant l’étape /3/, et d’un poids de l’intervalle d’état antérieur dont a résulté cet intervalle d’état ultérieur lors de l’étape /1/ ; et /5/ une étape de redistribution des intervalles d’état ultérieurs, comprenant de remplacer au moins un des intervalles d’état ultérieurs i par n i sous-intervalles provenant d’une division de l’intervalle d’état ultérieur i, i étant un indice entier de numérotation des intervalles d’état ultérieurs, et n i étant un nombre des sous-intervalles qui remplacent cet intervalle d’état ultérieur i, chaque sous-intervalle étant destiné à constituer un intervalle d’état antérieur pour une itération ultérieure de la séquence des étapes /1/ à /5/. Ces étapes comprennent divers calculs, dont certains nécessitent des ressources de calcul importantes. Tel est le cas en particulier de celles des étapes précédentes qui nécessitent de calculer un résultat d’une fonction du type X α , où X est une variable dont la valeur change entre des exécutions différentes de l’étape, et α est un exposant non nul dont la valeur est constante pour toutes les exécutions de la même étape. Pour cette raison, le procédé de filtrage particulaire régularisé à boîtes n’est pas compatible avec une mise en œuvre à bord d’un véhicule autonome. Notamment, il ne peut pas être mis en œuvre par une unité de calcul du type FGPA. Problème technique A partir de cette situation, un but de la présente invention est d’optimiser l’utilisation d’un filtre particulaire régularisé à boîtes, notamment pour que ce filtre puisse être mis en œuvre à bord d’un aéronef. Au-delà, l’invention a pour but de contribuer à ce qu’un procédé de filtrage particulaire régularisé à boîtes puisse être mis en œuvre par un circuit de type FPGA. Pour atteindre l’un au moins de ces buts ou un autre, un premier aspect de l’invention propose un procédé de filtrage particulaire à boîtes pour prédire un état d’un système, qui comprend les étapes /1/ à /5/ mentionnées ci-dessus, et dans lequel l’une au moins de ces étapes /1/ à /5/ comprend au moins un calcul d’une estimation de la valeur de X α , où X est un nombre variable pour chaque exécution de l’étape et α est une valeur d’exposant non-nulle qui est constante entre des exécutions différentes de l’étape, le nombre X étant positif si l’exposant α n’est pas un nombre entier et non-nul si l’exposant α est négatif. Le calcul comprend les étapes suivantes : /a/ d’écrire le nombre X sous une forme X = ±(1+m)·2 ex , où ex est un nombre entier négatif, positif ou nul, et m est une mantisse comprise entre 0 et 1, la valeur 0 et étant permise, de sorte qu’une représentation binaire du nombre X soit : I(X) = L·(m + ex + B), où L=2 n avec n qui est un nombre de bits d’une écriture binaire de la mantisse m, et B est un nombre constant positif ou nul, appelé biais ; /b/ de calculer une représentation binaire de X α sous la forme : I(X α ) = α·I(X) + L·(1 - α)·(B - σ), où σ est un nombre constant dont la valeur est enregistrée ; et /c/ d’obtenir l’estimation de la valeur de X α à partir de la représentation binaire I(X α ). Un tel calcul, qui remplace l’estimation de la fonction de X α par un calcul basé sur la représentation binaire du nombre X, est particulièrement économique en ressources de calculs, et court en temps de calcul. En outre, il peut être réalisé par un circuit du type FPGA. Dans des modes particuliers de mise en œuvre de l’invention, l’étape du procédé de filtrage particulaire régularisé à boîtes qui comprend le calcul de l’estimation de la valeur de X α peut être l’étape /5/, notamment une sous-étape cette l’étape /5/ qui consiste à calculer une valeur de norme d’une partie d’un intervalle d’état ultérieur du système. Cette partie d’intervalle d’état ultérieur du système peut être un intervalle de position du système, un intervalle de vitesse du système ou un intervalle d’attitude du système. Alternativement ou en plus, le calcul de l’estimation de la valeur de X α peut faire partie d’une autre sous-étape de l’étape /5/, qui consiste à appliquer un lissage par noyau de probabilité aux sous-intervalles pour obtenir les intervalles d’état antérieurs de l’itération ultérieure de la séquence des étapes /1/ à /5/. Le calcul objet de l’invention peut donc être utilisé d’une part pour la valeur de norme d’une partie de l’intervalle d’état ultérieur du système, et par ailleurs pour appliquer le lissage par noyau de probabilité. De façon générale pour l’invention, et notamment pour obtenir une estimation plus exacte de la valeur de X α , le calcul de l’estimation de la valeur de X α peut comprendre en outre d’exécuter au moins une fois l’étape supplémentaire suivante : /d/ calculer une nouvelle estimation de la valeur de X α à partir d’une estimation antérieure de la valeur de X α , en appliquant un algorithme récursif de résolution approchée d’équation à l’équation Y 1/α - X =0 d’inconnue Y, l’estimation de la valeur de X α qui a été obtenue à l’étape /c/ étant utilisée comme estimation antérieure pour une première application de l’algorithme, et la nouvelle estimation de la valeur de X α qui est produite par une q ième application de l’algorithme formant l’estimation antérieure de la valeur de X α pour la (q+1) ième application de l’algorithme, si une telle (q+1) ième application de l’algorithme est effectuée, q étant un nombre entier supérieur ou égal à 1. Pour un tel perfectionnement de l’invention, l’algorithme récursif de résolution approchée d’équation qui est utilisé à l’étape /d/ peut être la méthode de Newton, ou bien un autre algorithme équivalent ou qui remplit la même fonction. Dans des modes préférés de mise en œuvre de l’invention, l’une au moins des caractéristiques additionnelles suivantes peut être reproduite optionnellement, seule ou en combinaison de plusieurs d’entre elles : - le nombre n des bits de l’écriture binaire de la mantisse m peut être égal à 23, et le biais B peut être égal à 127. Alternativement, le nombre n peut être égal à 52 bits et le biais B égal 1023 ; - le nombre constant σ peut être compris entre 0 et 1, de préférence compris entre 0 et 0,5 ; et - la valeur d’exposant α peut être égale à +2, -2, +1/2 ou -1/2, en particulier. Un deuxième aspect de l’invention propose une unité de calcul, cette unité de calcul comprenant au moins une première entrée qui est adaptée pour recevoir des résultats de mesures répétées d’accélération et de vitesse angulaire d’un système, et une seconde entrée qui est adaptée pour recevoir des résultats de mesures répétées d’un état vrai du système, supplémentaires par rapport aux mesures d’accélération et de vitesse angulaire. L’unité de calcul est alors agencée pour exécuter un procédé de filtrage particulaire régularisé à boîtes qui est conforme au premier aspect de l’invention. De cette façon, l’unité de calcul produit en sortie une série d’intervalles d’état avec des poids respectifs, le poids qui est associé à chacun des intervalles d’état correspondant à une valeur de probabilité pour que l’état vrai du système soit dans cet intervalle d’état. Une telle unité de calcul peut être de l’un des types suivants : - circuit à réseau de portes programmables, ou FPGA, - circuit à réseau de portes fixes, connu sous l’acronyme DSP pour «Digital Signal Processor» en anglais, et - processeur d’unité centrale, connu sous les acronymes CPU pour «Computer Processing Unit» ou RISC pour «Reduced Instruction set Computer». Un troisième aspect de l’invention concerne une centrale de navigation à corrélation de mesure, qui est adaptée pour être embarquée à bord d’un véhicule et qui comprend : - une centrale inertielle, qui est adaptée pour mesurer itérativement des accélérations et des vitesses angulaires du véhicule, et pour déduire en utilisant des résultats de mesures des accélérations et des vitesses angulaires, des intervalles d’état ultérieurs respectivement à partir de plusieurs intervalles d’état antérieurs, chaque état du véhicule comprenant des coordonnées de position, de vitesse et d’attitude de ce véhicule ; - un système de mesure, qui est adapté pour mesurer itérativement au moins une caractéristique d’un état vrai du véhicule ; et - une unité de calcul qui est conforme au deuxième aspect de l’invention, et qui est adaptée pour réduire au moins une dérive de position, de vitesse et/ou d’attitude de la centrale inertielle, en utilisant les résultats de mesure de la caractéristique de l’état vrai du véhicule qui sont délivrés par le système de mesure. Enfin, un quatrième aspect de l’invention propose un véhicule qui comprend une centrale de navigation à corrélation de mesure conforme au troisième aspect de l’invention. Un tel véhicule peut être un aéronef, notamment un avion, un drone volant ou tout porteur aérien autopropulsé, ou un véhicule capable de se déplacer sur un sol, notamment un drone mobile sur sol, ou un navire, un sous-marin, un engin spatial, notamment une sonde spatiale, un satellite, etc. sans limitation. Selon le cas, le système de mesure peut être une sonde télémétrique qui est destinée à mesurer une distance entre le véhicule et un point de sol, un système de repérage d’amères ou d’étoiles, un sonar pour mesurer une hauteur d’eau sous le navire ou le sous-marin, etc. Brève description des figures Les caractéristiques et avantages de la présente invention apparaîtront plus clairement dans la description détaillée ci-après d’exemples de mise en œuvre non-limitatifs, en référence aux figures annexées parmi lesquelles : montre un aéronef qui est équipé d’une centrale inertielle à corrélation de terrain conforme à l’invention ; est un diagramme qui montre l’enchaînement d’étapes d’un procédé conforme à l’invention ; et est un organigramme d’un algorithme qui peut être utilisé pour mettre en œuvre l’invention. Description détaillée de l’invention Pour raison de clarté, les dimensions des éléments qui sont représentés symboliquement dans ne correspondent ni à des dimensions réelles, ni à des rapports de dimensions réels. En outre, l’invention est décrite à titre d’exemple non-limitatif pour un cas d’application à un aéronef, mais il est entendu qu’elle peut être appliquée à tout véhicule qui est muni d’une centrale de navigation à corrélation de mesure, que ce véhicule soit terrestre, aérien, maritime, spatial, etc. Le mode de calcul d’une estimation de la valeur de X α qui est utilisé dans l’invention est décrit dans un premier temps. α désigne un exposant qui est non-nul, dont la valeur est constante. X est un nombre de valeur variable, qui est positif lorsque la valeur de l’exposant α n’est pas un nombre entier, et non-nul lorsque la valeur de l’exposant α est négative. De façon connue, le nombre X peut être écrit de façon unique sous la forme suivante, conformément à la norme IEEE 754 : X = ±(1+m)·2 ex , où ex est un nombre entier positif ou nul, et m est une mantisse comprise entre 0 et 1, la valeur 0 étant aussi permise. Le nombre ex et la mantisse m dépendent ainsi de la valeur du nombre X. Alors, lorsque X est positif, on a : log 2 X = ex + m + σ, où σ est un nombre réel fixe permettant de minimiser une erreur sur la valeur de log 2 X, notamment lorsqu’un intervalle numérique d’appartenance est connu a priori pour le nombre X. Par exemple, la valeur du nombre σ peut être prise égale à 0,043036. Et donc : ex + m = log 2 X - σ. Par ailleurs, le nombre X peut être représenté en forme binaire par I(X) défini par : I(X) = L·(m + ex + B), où L=2 n , avec n qui est un nombre de bits fixé pour écrire la mantisse m sous forme binaire, et B est un nombre constant positif ou nul, qui est appelé biais. Le biais B a pour rôle de permettre d’utiliser une représentation du type I(X) aussi pour des valeurs négatives du nombre X. Dans la représentation I(X) du nombre X, L, m, ex et B sont exprimés sous forme binaire. Par exemple, n peut être égal à 23, et B peut être égal à 127. Pour avoir une précision de calcul qui soit supérieure, n peut alternativement être égal à 52, et dans ce cas B peut être égal à 1023. En reportant dans la représentation binaire I(X) l’expression de ex + m telle que provenant de log 2 X, il vient : I(X) = L·[log 2 X - σ + B], soit : log 2 X = I(X)/L + σ - B. Or, de la même façon que I(X) dans la ligne précédente, la représentation binaire de X α est : I(X α ) = L·[log 2 (X α ) - σ + B] Mais log 2 (X α ) = α·log 2 (X), donc : I(X α ) = L·[α·log 2 (X) - σ + B], et en remplaçant log 2 (X) par son expression en fonction de la représentation binaire I(X), il vient : I(X α ) = L·[α·(I(X)/L + σ - B) - σ + B], soit : I(X α ) = α·I(X) + L·(1 - α)·(B - σ). Une valeur approchée de X α , notée Y 0 , peut alors être reconstruite à la partir de la représentation binaire de X α qui a été ainsi obtenue, en utilisant une méthode inverse de celle qui fournit la représentation binaire d’un nombre à partir de ce nombre. L’écart entre cette valeur approchée Y 0 et la vraie valeur de X α dépend de la valeur qui a été adoptée pour le nombre σ. Lorsque X peut être négatif et que la valeur de l’exposant α est entière, le signe de X α peut être déterminé en fonction de celui de X, retenu depuis le début du procédé de calcul, et de la parité de l’exposant α. Pour de nombreuses applications, la valeur approchée Y 0 convient d’une manière satisfaisante pour remplacer X α , compte tenu de la simplicité du procédé d’obtention de cette valeur approchée Y 0 , tel qu’il vient d’être décrit. Pour le cas particulier où l’exposant α est égal à 2 : I(X 2 ) = 2·I(X) - L·(B - σ). Pour le cas particulier où l’exposant α est égal à -2 : I(X - 2 ) = -2·I(X) +3·L·(B - σ). Pour le cas particulier où l’exposant α est égal à 1/2 : I(X 1/ 2 ) = I(X)/2 + 0,5·L·(B - σ). Pour le cas particulier où l’exposant α est égal à -1/2 : I(X -1/ 2 ) = -I(X)/2 + 1,5·L·(B - σ). Pour des applications où la valeur approchée Y 0 ne constitue pas une évaluation suffisamment précise de X α , il est possible d’améliorer cette évaluation en utilisant l’un des procédés d’affinage de valeurs approchées qui sont connus de l’Homme du métier. L’algorithme de Newton, aussi appelé méthode de Newton, peut être utilisé en particulier, en l’appliquant à la fonction f(Y) = Y 1/α – X et à l’équation f(Y) = 0. Des valeurs approchées successives Y q , q étant un indice entier de numérotation de ces valeurs, peuvent ainsi être obtenues selon la formule : Y q +1 = Y q - f(Y q )/f’(Y q ), où f’(Y q ) est la valeur de la fonction dérivée de f, estimée pour la valeur Y q . C’est-à-dire, en calculant l’expression de f’(Y) à partir de celle de f(Y) : Y q +1 = (1 - α)·Y q + α·X·Y q (α-1)/α , pour q = 0, 1, 2,… Pour le cas particulier où l’exposant α est égal à 2, il vient : Y q +1 = -Y q + 2·X·Y q 1/2 . Notamment, la valeur approchée au premier ordre de X 2 est : Y 1 = -Y 0 + 2·X·Y 0 1/2 . La valeur de Y q 1/2 peut être estimée chaque fois en utilisant la formule I(X α ) = α·I(X) + L·(1 - α)·(B - σ), et en remplaçant dans cette formule X par Y q et α par 1/2. Pour le cas particulier où l’exposant α est égal à -2, il vient : Y q +1 = 3·Y q - 2·X·Y q 3/2 . Notamment, la valeur approchée au premier ordre de X - 2 est : Y 1 = 3·Y 0 - 2·X·Y 0 3 /2 . La valeur de Y q 3 /2 peut être estimée chaque fois en utilisant encore la formule I(X α ) = α·I(X) + L·(1 - α)·(B - σ), et en remplaçant dans cette formule X par Y q et α par 3/2. Pour le cas particulier où l’exposant α est égal à 1/2, il vient : Y q +1 = 0,5·Y q + 0,5·X/Y q . Notamment, la valeur approchée au premier ordre de X 1/2 est : Y 1 = 0,5·Y 0 + 0,5·X/Y 0 . Pour le cas particulier où l’exposant α est égal à -1/2, il vient : Y q +1 = (3/2)·Y q - 0,5·X·Y q 3 . Notamment, la valeur approchée au premier ordre de X -1/2 est : Y 1 = (3/2)·Y 0 - 0,5·X·Y 0 3 . La valeur approchée Y 0 , telle qu’obtenue en utilisant les représentations binaires de nombres, et les valeurs Y q , q ≥ 1 , telles qu’obtenues en utilisant l’un des procédés d’affinage de valeurs approchées tel que la méthode de Newton, ne nécessitent pas de ressources de calcul importantes. Elles peuvent donc être calculées facilement par une unité de calcul de type FPGA, DSP, CPU ou RISC. Conformément à , un aéronef 20 est équipé d’une centrale de navigation à corrélation de terrain, désignée par la référence 10. La centrale de navigation 10 comprend une centrale inertielle 1, une sonde télémétrique 2 et une unité de calcul 3. De façon connue, la centrale inertielle 1 réalise répétitivement des mesures de trois coordonnées d’accélération et de trois coordonnées de vitesse angulaire de l’aéronef 20, à l’aide d’accéléromètres et de gyromètres non-représentés. Par ailleurs, la sonde télémétrique 2 réalise répétitivement des mesures de la distance H qui existe entre le sol 100 et l’aéronef 20. Cette distance H est mesurée selon une direction qui peut être fixe par rapport à l’aéronef 20, par exemple perpendiculairement à un plan de référence de l’aéronef. Eventuellement, la direction de mesure télémétrique peut être variable par rapport à l’aéronef 20, mais dans un tel cas cette direction de mesure est contrôlée et prise en compte d’une façon adéquate, connue par ailleurs. La distance H varie donc en fonction du relief terrestre qui est survolé par l’aéronef 20, ainsi qu’en fonction de son altitude et de son attitude. Dans la suite, la présente description est limitée au seul cas où les mesures supplémentaires par rapport à celles de la centrale inertielle 1 sont constituées par les mesures de la distance H. Ce cas correspond à une navigation avec corrélation de terrain. Toutefois, il est entendu que d’autres mesures supplémentaires peuvent être utilisées alternativement à celles de la distance H, ou en complément de celles-ci. Enfin, l’invention est compatible avec des modèles de centrale inertielle et de sonde télémétrique tels que disponibles commercialement. En particulier, la centrale inertielle peut être d’un type à MEMS, pour «Micro-Electro-Mechanical System» en anglais, à quadrason, à gyrolaser, etc., et la sonde télémétrique peut être un radio-altimètre, un télémètre laser, etc. Chaque état possible pour l’aéronef 20 peut être composé de trois valeurs de coordonnées spatiales qui identifient une position pour l’aéronef, par exemple dans le référentiel terrestre, trois valeurs de vitesses chacune selon une des coordonnées spatiales, et trois valeurs angulaires pour identifier une orientation de l’aéronef, par exemple trois valeurs d’angles d’Euler, pour un total de neuf coordonnées d’état. Dans ces conditions, un intervalle d’état pour l’aéronef 20 est formé par une combinaison de neuf intervalles unidimensionnels qui sont relatifs chacun séparément à l’une des coordonnées d’état. Un tel intervalle d’état est appelé boîte dans le jargon de l’Homme du métier. Le procédé de filtrage particulaire régularisé à boîtes est initialisé par la fourniture de plusieurs intervalles d’état initiaux, chacun associé à un poids qui indique une valeur de probabilité pour que l’état vrai de l’aéronef 20 se trouve initialement dans cet intervalle d’état initial. Ainsi, N intervalles d’état initiaux sont fournis, N étant un nombre entier, par exemple égal à 16 ou 32, de préférence inférieur ou égal à 128. Chaque intervalle d’état initial est associé individuellement à une valeur de poids, qui peut être égale à 1/N. Le procédé est ensuite constitué par des itérations successives d’une séquence d’étapes, chaque nouvelle exécution de la séquence d’étapes produisant une actualisation des intervalles d’état, avec des valeurs actualisées de poids qui sont associées une-à-un aux intervalles d’état actualisés. En outre, chaque nouvelle exécution de la séquence d’étapes est effectuée à partir des intervalles d’état et leurs valeurs de poids associées tels que fournis par l’exécution juste antérieure de la séquence d’étapes. Chaque séquence d’étapes comprend une étape de prédiction, notée /1/ dans , une étape de mesure notée /2/, une étape de contraction notée /3/, une étape /4/ de mise-à-jour du poids de chaque intervalle d’état, et une étape /5/ de redistribution des intervalles d’état. Les étapes /1/ et /3/ à /5/ sont exécutées pour chaque intervalle d’état. Etant donné que l’étape /5/ produit une redistribution des intervalles d’état tels que résultant de l’étape /3/, elle est de préférence exécutée de façon à conserver un nombre constant d’intervalles d’état. Alors l’unité de calcul 3 peut être conçue et dimensionnée pour traiter N intervalles d’état à chaque exécution de la séquence des étapes /1/ à /5/. i est un indice entier, de 1 à N, qui numérote les intervalles d’état qui sont traités à chaque itération de cette séquence des étapes /1/ à /5/. Pour chaque intervalle d’état i, noté boîte_i, l’étape de prédiction /1/ consiste à recueillir les résultats de dernières mesures d’accélération et de vitesse angulaire, tels que délivrés par la centrale inertielle 1. Eventuellement, les résultats de plusieurs mesures qui ont été effectuées par la centrale inertielle 1 depuis l’exécution précédente de la séquence des étapes /1/ à /5/ peuvent être recueillis. Pour chacun des intervalles d’état boîte_i, cette étape /1/ comprend aussi de calculer une évolution de cet intervalle d’état pendant la période de temps qui s’est écoulée entre les deux exécutions de l’étape /1/, relatives à l’itération précédente et la nouvelle itération en cours de la séquence des étapes /1/ à /5/. Le principe de calcul d’une telle évolution de chaque intervalle d’état boîte_i, à partir des résultats des mesures d’accélération et de vitesse angulaire, est supposé connu de l’Homme du métier. On pourra se référer à ce sujet à l’article de Merlinge, N., Dahia, K., Piet-Lahanier, H., Brusey, J., & Horri, N. qui est intitulé «A Box Regularized Particle Filter for state estimation with severely ambiguous and non-linear measurements», Automatica (2019), Vol. 104, pp. 102-110. Cette étape /1/ aboutit à une translation, accompagnée le plus souvent d’un changement de longueur, de chaque intervalle unidimensionnel qui est relatif à l’une des coordonnées d’état de l’aéronef 20. Dans la partie générale de la présente description, chaque intervalle d’état boîte_i tel qu’existant au moment de débuter l’exécution de l’étape /1/ a été appelé intervalle d’état antérieur, et cet intervalle d’état boîte_i tel que modifié par l’étape /1/ a été appelé intervalle d’état ultérieur. L’étape de mesure /2/ consiste à recueillir le résultat de la dernière mesure de distance H tel que délivré par la sonde télémétrique 2. Eventuellement, les résultats de plusieurs dernières mesures qui ont été effectuées par la sonde télémétrique 2 depuis l’exécution précédente de l’étape /2/, lors de l’itération précédente de la séquence des étapes /1/ à /5/, peuvent être recueillis. L’étape de contraction /3/ consiste à réduire la taille de chaque intervalle d’état boîte_i en fonction d’incompatibilités qui existeraient entre des parties de cet intervalle d’état et le ou les dernier(s) résultat(s) de mesure de distance H recueillis à l’étape /2/. Typiquement, les six coordonnées de position et d’attitude de l’aéronef 20, telles que pouvant varier à l’intérieur de chaque intervalle d’état boîte_i résultant de l’étape /1/, sont combinées à des valeurs de hauteur de relief lues dans une carte de terrain qui est mémorisée, afin d’obtenir une estimation de la distance H associée à chaque état. Un tel calcul peut être effectué de la façon connue qui a été rappelée au début de cette description. La distance H ainsi estimée est comparée au résultat de la mesure de l’étape /2/. De façon générale, une équation implicite peut être mise en œuvre pour convertir chaque état de l’aéronef 20 en une valeur de distance H, en utilisant la carte de terrain mémorisée. Mais une telle équation, appelée équation d’observation par l’Homme du métier, peut être difficile à inverser localement, si bien que modéliser sa fonction inverse par une partie de fonction analytique et une partie de fonction tabulée peut être avantageux. L’Homme du métier pourra encore se reporter à l’article de Merlinge et al., Automatica 104(2019), cité plus haut, au sujet de l’étape /3/ qui n’est pas directement concernée par l’amélioration du procédé que procure l’invention. L’étape de mise-à-jour /4/ consiste à mettre à jour la valeur du poids de chaque intervalle d’état tel que résultant de l’étape /3/. Par exemple, une nouvelle valeur du poids de l’intervalle d’état boîte_i peut être égale à la valeur du poids de cet intervalle d’état boîte_i telle qu’existant avant d’effectuer cette mise-à-jour, multipliée par la taille de l’intervalle d’état boîte_i tel que résultant de l’étape de contraction /3/, et divisée par la taille de l’intervalle d’état boîte_i tel que résultant de l’étape de prédiction /1/ avant d’appliquer l’étape de contraction /3/. D’autres formules de mise-à-jour des valeurs de poids peuvent être adoptées alternativement. Eventuellement, les valeurs de poids telles que résultant de l’une de ces formules peuvent en plus être corrigées, par exemple en les multipliant par un facteur commun non-nul, pour assurer que leur somme soit égale à l’unité. L’étape /5/ a pour but de redistribuer les intervalles d’état tels que résultant de l’étape /3/, pour obtenir une meilleure représentativité statistique des états qui sont possibles pour l’aéronef 20. L’exécution de cette étape /5/ peut être soumise au résultat d’un test optionnel désigné par CR dans . Ce test consiste à déterminer si un critère de représentativité est satisfait par les intervalles d’état avec leurs valeurs de poids respectives. Il porte sur toutes les valeurs des poids wi telles qu’actualisées à l’étape /4/, où wi est le poids qui est associé à l’intervalle d’état boîte_i. Un premier critère de représentativité qui peut être utilisé est celui connu sous l’appellation de critère N-efficace. Ce critère est satisfait si (∑i=1…N wi2)-1 θent·N, où θent est un paramètre d’ajustement du critère entropique, compris entre 0 et 1. Mais d’autres critères de représentativité qui sont aussi connus de l’Homme du métier peuvent encore être utilisés alternativement. L’étape /5/ de redistribution des intervalles d’état est alors appliquée si le critère de représentativité n’est pas satisfait. L’étape /5/ comprend d’abord de déterminer un nombre de division n i qui est attribué à l’intervalle d’état boîte_i, avec l’indice i qui numérote encore les intervalles d’état de 1 à N. Cette sous-étape est notée /5-1/ dans [Fig. 2]. De façon connue, elle peut être exécutée en utilisant une méthode de tirage multinomial. Une telle méthode consiste à tirer des points aléatoirement et répétitivement à l’intérieur d’un segment unidimensionnel, pour déterminer le nombre n i des sous-intervalles qui sont destinés à remplacer l’intervalle d’état boîte_i, en fonction des valeurs des poids w i de tous les intervalles d’état telles que mises-à-jour à l’étape /4/. Le segment de tirage est constitué par une juxtaposition de segments élémentaires, dont les longueurs individuelles correspondent une-à-une aux valeurs des poids des intervalles d’état. Le nombre n i des sous-intervalles qui remplaceront l’intervalle d’état boîte_i est alors proportionnel au nombre de points tirés aléatoirement qui appartiennent au segment élémentaire dont la longueur est égale à la valeur de poids de l’intervalle d’état boîte_i. Si la valeur de n i qui est ainsi déterminée pour l’un des intervalles d’état est nulle, cet intervalle d’état est supprimé, sinon l’intervalle d’état boîte_i est divisé en n i sous-intervalles, la valeur obtenue pour n i étant statistiquement d’autant plus grande que le poids de l’intervalle d’état boîte_i tel que résultant de l’étape /4/ est élevé. Eventuellement, les valeurs de n i qui sont ainsi obtenues peuvent être multipliées par un facteur constant et arrondies, afin de limiter le nombre total des sous-intervalles mis en œuvre, et/ou assurer que la somme de toutes les valeurs de n i est égale à N. Toutefois, cette façon d’exécuter la sous-étape /5-1/ n’est donnée qu’à titre d’exemple, et des méthodes différentes peuvent être utilisées alternativement dans des variantes de mise en œuvre de l’invention. Chaque intervalle d’état boîte_i est alors destiné à être divisé en n i sous-intervalles, à la sous-étape /5-3/, par exemple de l’une des façons qui sont décrites dans les articles suivants : «An introduction to box particle filtering [lecture notes]» de Gning, A., Ristic, B., Mihaylova, L., & Abdallah, F., IEEE Signal Processing Magazine (2013), Vol. 30(4), pp. 166-171 ; et «A Box Regularized Particle Filter for state estimation with severely ambiguous and non-linear measurements» de Merlinge, N., Dahia, K., Piet-Lahanier, H., Brusey, J., & Horri, N., Automatica (2019), Vol. 104, pp. 102-110, déjà cité plus haut. Ces méthodes de division consistent à déterminer d’abord celle des coordonnées d’état du système, selon laquelle l’intervalle d’état boîte_i est le plus étendu. Cette détermination est l’objet de la sous-étape /5-2/ qui est décrite maintenant. Chacun des intervalles d’état boîte_i concerne plusieurs coordonnées d’état d’au moins deux types différents. Par exemple, dans le cas de la centrale de navigation 10 qui a été décrite plus haut pour l’aéronef 20, les trois coordonnées de position, notées x 1 , x 2 et x 3 , sont des coordonnées d’état d’un premier type, les trois vitesses, notées v 1 , v 2 et v 3 , sont des coordonnées d’état d’un deuxième type, et les trois angles d’attitude, notés θ 1 , θ 2 et θ 3 , de l’aéronef 20 sont des coordonnées d’état d’un troisième type. Alors, des valeurs normalisées et sans dimension des longueurs des intervalles unidimensionnels de l’intervalle d’état boîte_i, selon chacune des coordonnées d’état, sont : Δx j _ n = Δx j ·(Δx 1 2 +Δx 2 2 +Δx 3 2 ) -1 /2 , Δv j _ n = Δv j ·(Δv 1 2 +Δv 2 2 +Δv 3 2 ) -1 /2 , et Δθ j _ n = Δθ j ·(Δθ 1 2 +Δθ 2 2 +Δθ 3 2 ) -1 /2 , pour j=1, 2 et 3 dans chaque cas, où Δx j , Δv j et Δθ j sont les longueurs des intervalles unidimensionnels respectifs des neuf coordonnées d’état pour l’intervalle d’état boîte_i. Chacune des valeurs Δx j 2 , Δv j 2 et Δθ j 2 peut être calculée en utilisant le procédé qui a été présenté plus haut pour Xα, avec α égal à 2. Puis chacun des facteurs (Δx 1 2 +Δx 2 2 +Δx 3 2 ) -1 /2 , (Δv 1 2 +Δv 2 2 +Δv 3 2 ) -1 /2 et (Δθ 1 2 +Δθ 2 2 +Δθ 3 2 ) -1 /2 peut aussi être calculé en utilisant le même procédé, mais avec α qui est alors égal à -1/2. Ces facteurs ont été appelés valeurs de norme de parties d’intervalle d’état dans la partie générale de la présente description. Les valeurs normalisées Δx j_ n , Δv j_ n et Δθ j_ n des longueurs des neufs intervalles unidimensionnels de l’intervalle d’état boîte_i sont alors obtenues selon les formules précédentes, par calcul de produits. Ces valeurs normalisées Δx j_ n , Δv j_ n et Δθ j_ n peuvent être comparées entre elles, et la coordonnée d’état selon laquelle l’intervalle d’état boîte_i est le plus étendu est celle qui correspond à la plus grande des valeurs normalisées Δx j_ n , Δv j_ n et Δθ j_ n , en considérant leurs valeurs absolues. Par exemple, l’intervalle d’état boîte_i est le plus étendu selon la coordonnée de position x 1 si Δx 1_ n est la plus grande des valeurs normalisées Δx j_ n , Δv j_ n et Δθ j_ n , ou bien il est le plus étendu selon la coordonnée de vitesse v 2 si Δv 2_ n est la plus grande des neuf valeurs normalisées, etc. A la sous-étape /5-3/, l’intervalle d’état boîte_i est divisé en n i sous-intervalles contigus, en divisant en n i segments de mêmes longueurs celui des intervalles unidimensionnels de boîte_i qui est le plus étendu, au sens des valeurs normalisées Δx j_n , Δv j_n et Δθ j_n . Chaque sous-intervalle possède donc l’un de ces segments pour intervalle unidimensionnel selon la coordonnée d’état qui correspond à l’extension maximale de l’intervalle d’état boîte_i, et les mêmes intervalles unidimensionnels que cet intervalle d’état boîte_i selon les autres coordonnées d’état. Les n i sous-intervalles qui sont ainsi construits constituent donc une partition de l’intervalle d’état boîte_i. Ils forment de nouveaux intervalles d’état à partir desquels le procédé de filtrage particulaire régularisé à boîtes est continué. Une valeur de poids est attribuée à chacun d’eux, qui est égale à celle de l’intervalle d’état boîte_i divisée par le nombre de division n i . Ces nouveaux intervalles d’état sont alors re-numérotés par l’indice i, avantageusement de 1 à N, pour la poursuite du procédé de filtrage. Enfin, la sous-étape /5-4/, optionnelle, consiste à corriger les nouveaux intervalles d’état tels que résultant de la sous-étape /5-3/, afin qu’ils produisent, avec leurs valeurs de poids associées, une représentation statistique encore meilleure de l’état du système, c’est-à-dire de l’état de l’aéronef 20 pour l’exemple considéré. Une telle modification des intervalles d’état est couramment appelée lissage ou régularisation de la représentation statistique de l’état du système, dans le jargon de l’Homme du métier. Des corrections qui sont appliquées pour cela aux intervalles d’état peuvent consister en des déplacements aléatoires des bornes des intervalles unidimensionnels qui constituent les arêtes de chaque intervalle d’état boîte_i. De préférence, les valeurs de poids respectives qui sont associées aux intervalles d’état ne sont pas modifiées dans cette sous-étape /5-4/. Des méthodes de lissage par noyau, appelées aussi régularisation par noyau, peuvent être appliquées, notamment telles que décrites dans l’article de Merlinge et al., Automatica 104(2019), déjà cité. Selon ces méthodes, le déplacement aléatoire qui est appliqué à chaque borne d’intervalle unidimensionnel est généré selon une répartition statistique déterminée, qui est appelée noyau. En particulier, des méthodes de lissage par noyau uniforme, ou des méthodes de lissage par noyau gaussien, peuvent être appliquées. Toutefois, une méthode de lissage par noyau d’Epanechnikov, telle que décrite maintenant, peut être préférée. De façon connue, le noyau d’Epanechnikov est défini par la fonction de densité de probabilité f(x) = 3·(1 - x 2 )/4, où x est la variable aléatoire comprise entre -1 et 1, les valeurs -1 et 1 étant permises. Son espérance est nulle, et sa variance est égale à 1/5. La sous-étape /5-4/ comprend donc en premier lieu de générer des corrections aléatoires à appliquer à chaque intervalle unidimensionnel de coordonnée d’état qui détermine chacun des intervalles d’état boîte_i, puis d’appliquer ces corrections. On note d le nombre de coordonnées d’état du système considéré, et d’=2·d le nombre de bornes qui déterminent chaque intervalle d’état de ce système, c’est-à-dire chaque boîte utilisée dans le procédé de filtrage particulaire régularisé. Dans le cas de l’aéronef 20, d=9 et d’=18. On génère d’abord N premières valeurs aléatoires, notées βi et comprises entre 0 et 1, les valeurs 0 et 1 étant permises, i étant l’indice entier de numérotation des intervalles d’état tel qu’utilisé précédemment, chacune selon une loi bêta de distribution statistique, de premier paramètre égal à d et de second paramètre égal à 2. De façon connue, la loi bêta dont les paramètres sont d et 2 est définie par la fonction de densité de probabilité xd/2-1·(1-x)·Γ(d/2 + 2)/, où x désigne la variable aléatoire, et Γ désigne la fonction gamma. Une façon possible de générer les valeurs βi conformément à la loi bêta utilise l’algorithme de Cheng qui sera rappelé plus loin, en référence à [Fig. 3]. On génère ensuite N·d’ secondes valeurs aléatoires, notées ν k , i , i étant encore le même indice que précédemment et k étant un autre indice entier qui varie de 1 à d’, chacune selon une loi normale de distribution statistique à valeur moyenne nulle et écart-type égal à l’unité, couramment appelée loi normale réduite. L’indice k dénombre les degrés de liberté dans la définition de chaque intervalle d’état. Il identifie deux bornes d’intervalle unidimensionnel pour chaque coordonnée d’état ou, de façon équivalente, une valeur centrale et une longueur d’intervalle pour chaque intervalle unidimensionnel de coordonnée d’état. De façon connue, la loi normale à valeur moyenne nulle et écart-type égal à l’unité est définie par la fonction de densité de probabilité (1/π 1/2 )·exp[-x 2 /2], où x désigne encore la variable aléatoire, mais dans ce cas positive, nulle ou négative. Elle peut être simulée par une somme de valeurs aléatoires initiales qui sont générées chacune selon une loi uniforme de distribution statistique, et une telle loi uniforme de distribution statistique peut être produite par une méthode de type LFSR, pour «linear feedback shift register» en anglais, ou registre à décalage avec rétroaction linéaire en français, par exemple. N premiers nombres, notés ξ i , sont alors calculés à partir des valeurs aléatoires ν k ,i de la façon suivante : ξ i = [∑ k=1 à d’ (ν k,i ) 2 ] 1/2 . Avantageusement, chacun de ces nombres ξ i peut être calculé en appliquant le procédé de calcul d’une estimation de Xα qui a été décrit plus haut, à X = ν k ,i avec α=2, puis à X = ∑ k=1 à d’ (ν k,i ) 2 avec α=1/2. N deuxièmes nombres, notés α i , sont ensuite calculés selon la formule : α i = β i 1/2 /ξ i . Avantageusement, chacun de ces nombres α i peut être calculé en appliquant de nouveau le procédé de calcul d’une estimation de Xα qui a été décrit plus haut, à X = β i avec α=1/2. Dans ces conditions, N·d’ troisièmes nombres qui sont calculés de la façon suivante : ε k ,i = ν k,i ·α i , satisfont chacun la loi de distribution statistique d’Epanechnikov d’espérance nulle et de variance égale à 1/5. Par ailleurs, une amplitude de bruit, notée h, est calculée de la façon suivante : h = μ·A·N -1 /( d’ +4) , où A = [8·c d’ -1 ·(d’+4)·(2·π 1/2 ) d’ ] 1/(d’+4) . Dans cette expression de A, c d’ désigne le volume de l’hyper-sphère de dimension d’ et de rayon unitaire, et μ est un paramètre d’ajustement qui est compris entre 0 et 1. De façon connue, c d’ = π d’/2 /Γ(d’/2 + 1), où Γ désigne encore la fonction gamma. La valeur de c d’ peut soit être pré-calculée et stockée de façon à être disponible pour l’unité de calcul 3, soit être calculée par cette dernière, par exemple en utilisant une table préenregistrée de valeurs de la fonction gamma. Le paramètre d’ajustement μ permet de contrôler un compromis entre l’efficacité du lissage aléatoire et celle du filtre particulaire. En effet, l’efficacité du filtre particulaire résulte d’une continuité des trajectoires possibles pour le système, décrites par ceux des intervalles d’état qui sont maintenus lors de plusieurs exécutions successives de la séquence des étapes /1/ à /5/. A contrario, le lissage aléatoire produit un brouillage de ces trajectoires. La valeur du paramètre μ peut être fixée initialement pour le procédé à exécuter par l’unité de calcul 3. Elle dépend notamment des nombres N et d, ainsi que du type de noyau utilisé pour la sous-étape /5-4/. Par exemple, le paramètre d’ajustement μ peut être pris égal à 0,1. L’utilisation du paramètre d’ajustement μ est notamment décrite dans la thèse de Merlinge, N., intitulée «State estimation and trajectory planning using box particule kernels», Université Paris-Saclay, 2018. Les modifications aléatoires à appliquer à l’intervalle d’état boîte_i sont alors h·ε k ,i , où k repère les bornes de coordonnées d’état, ou bien les valeurs centrales ou longueurs d’intervalles de coordonnées d’état. Ces modifications peuvent être disposées sous forme d’un vecteur E i , tel que E i = [h·ε k ,i ] k=1,…,d’ . On décrit maintenant une méthode possible pour appliquer les modifications aléatoires aux intervalles d’état tels que résultant de la sous-étape /5-3/. Pour cela, on peut représenter chaque intervalle d’état boîte_i par un vecteur Ξ i de hauteur d’, dont les coordonnées regroupent les bornes de tous les intervalles unidimensionnels de coordonnées d’état pour cet intervalle d’état, ou bien les valeurs centrales et les longueurs de ses intervalles unidimensionnels. Alors, les valeurs modifiées aléatoirement du vecteur Ξ i peuvent être obtenues en remplaçant ce vecteur Ξ i par Ξ i + D x E i , où D est une matrice carrée de dimension d’ telle que le produit de D par la transposée de D soit égal à ∑ i =1 à N Ξ i ·w i · t Ξ i : D x t D = ∑ i i=1 à N Ξ i ·w i · t Ξ i , où w i est la valeur de poids de l’intervalle d’état boîte_i. Par exemple, la matrice D peut être déterminée par la méthode de Cholesky, qui est bien connue de l’Homme du métier de sorte qu’il n’est pas nécessaire de la décrire à nouveau ici. Dans ces conditions, le vecteur Ξ i est à remplacer par le vecteur Ξ i + D x E i , pour appliquer les variations aléatoires selon le noyau sélectionné, d’Epanechnikov dans le cas présent, aux intervalles unidimensionnels de coordonnées d’état de l’intervalle d’état boîte_i. L’ensemble des vecteurs Ξ i + D x E i déterminent tous les nouveaux intervalles d’état qui résultent de la modification par lissage. La méthode qui vient d’être décrite pour appliquer, à la sous-étape /5-4/, un lissage par noyau d’Epanechnikov aux sous-intervalles tels qu’ils résultent de la sous-étape /5-3/, est mise en œuvre par l’unité de calcul 3 de la centrale de navigation à corrélation de mesure 10. Les intervalles d’état mis-à-jour, tels que résultant de la sous-étape /5-3/ ou éventuellement de la sous-étape /5-4/, avec leurs valeurs de poids associées, constituent le résultat du procédé de filtrage particulaire régularisé à boîtes pour une exécution de la séquence des étapes /1/ à /5/. Plusieurs itérations sont enchaînées de façon récurrente, chaque nouvelle itération à partir des résultats de l’itération précédente. L’itération qui est effectuée en dernier fournit une distribution de probabilité actualisée qui caractérise l’état vrai de l’aéronef 20. En outre, les intervalles d’état mis-à-jour qui en résultent, associés à leurs valeurs de poids respectives, sont à utiliser en tant qu’intervalles d’état antérieurs pour une nouvelle exécution de la séquence des étapes /1/ à /5/. On décrit maintenant, en référence à , une méthode de génération de chaque valeur aléatoire βi, de façon à respecter la loi de distribution statistique Bêta(d, 2). Cette méthode correspond à l’algorithme de Cheng, publié dans l’article intitulé «Generating beta variates with non-integral shape parameters», Communications of the ACM, 21(4), pp. 317-322, 1978. Pour cela, on détermine d’abord les nombres a et b suivants à l’étape /i/ : a qui est égal à la valeur minimale entre d et 2 : a = min(d, 2), et b qui est égal à la valeur maximale entre d et 2 : b = max(d, 2). Pour la plupart des applications de l’invention, d est supérieur à 2, de sorte que a=2 et b=d. On calcule ensuite, à l’étape /ii/, les trois nombres α, β et γ tels que : α = a + b, qui est égal à d+2, β = [(α - 2)/(2·a·b - α)] 1/2 , qui est égal à [d/(3·d - 2)] 1/2 ; et γ = a + 1/β. Les nombres α, β et γ peuvent avoir été pré-calculés et stockés pour être directement accessibles par l’unité de calcul 3. A l’étape /iii/, deux nombres u 1 et u 2 sont générés aléatoirement chacun selon la loi uniforme de distribution statistique, entre 0 et 1, par exemple en utilisant une méthode de type LFSR. Puis les nombres V, W, Z, R et S sont calculés à l’étape /iv/, selon les formules suivantes : V = β·log[u 1 /(1-u 1 )], où log désigne la fonction logarithmique de base e, W = a·exp(V), où exp désigne la fonction exponentielle de base e, Z = u 1 2 ·u 2 , R = γ·V - log(4), et S = a + R - W. La valeur du nombre Z peut avantageusement être calculée chaque fois en appliquant le procédé de calcul d’une estimation de Xα qui a été décrit plus haut, à X = u 1 avec α=2. En outre, les valeurs des fonctions logarithme et exponentielle peuvent être obtenues à partir de tables de valeurs préenregistrées pour ces fonctions. Les étapes /v/ à /viii/ sont alors effectuées successivement, en formant une séquence de tests qui sont appliqués en série : étape /v/ : si S + 1 + log(5) est supérieur ou égal à 5·Z, aller directement à l’étape /viii/ ; étape /vi/ : si S est supérieur ou égal à log(Z), aller directement à l’étape /viii/ ; étape /vii/ : si R + α·log[α/(b+W)] est inférieur à log(Z), retourner à l’étape /iii/ ; étape /viii/ : si a est égal à d, alors la valeur β i qui est générée aléatoirement selon la loi bêta de paramètres d et 2, est égale à W/(b+W), et si a est différent de d, elle est égale à b/(b+W). Pour la plupart des applications de l’invention, où d est supérieur à 2, la valeur aléatoire β i est égale à d/(d+W). Un des avantages de cet algorithme est que le nombre d’exécutions de la séquence des étapes /iii/ à /viii/ qui est nécessaire pour obtenir les N valeurs aléatoires β i est prédictible. Il est entendu que l’invention peut être reproduite en modifiant des aspects secondaires des modes de mise en œuvre qui ont été décrits en détail ci-dessus, tout en conservant certains au moins des avantages cités. Parmi de telles modifications possibles, les suivantes sont citées de façon non-limitative : - des algorithmes alternatifs peuvent être utilisés pour certaines étapes ou sous-étapes ; - la centrale inertielle peut être utilisée comme source de mesure de l’état complet du véhicule. L’état du système tel que considéré pour l’invention comprend alors trois valeurs d’accélération et trois valeurs de vitesse angulaire, selon les trois coordonnées spatiales, en plus des trois valeurs de coordonnées spatiales qui identifient une position pour le véhicule, des trois valeurs de vitesses et des trois valeurs angulaires d’attitude. Dans ce cas, chaque état du système comprend des valeurs pour quinze coordonnées d’état ; - à l’étape /1/, un modèle dynamique d’évolution d’état peut être utilisé pour le système, ce modèle pouvant tenir compte, lorsqu’il s’agit d’un véhicule, de commandes qui sont appliquées à un ou plusieurs moteur(s) et à un système de contrôle d’attitude du véhicule ; et - l’unité de calcul peut être un processeur à structure ARM, un processeur à plusieurs cœurs de calcul, un ou plusieurs processeur(s) graphique(s), etc, à la place d’une puce de type FPGA, DSP, CPU ou RISC. Enfin, l’invention peut être appliquée à d’autres domaines que l’aéronautique. Par exemple, un procédé de filtrage particulaire régularisé à boîtes qui est conforme à l’invention peut aussi être mis en œuvre pour un véhicule au sol, un navire maritime de surface, un sous-marin, un satellite ou une sonde spatiale, en utilisant à chaque fois un référentiel et des mesures d’état vrai qui sont appropriés. Procédé de filtrage particulaire régularisé à boîtes, pour prédire un état d’un système, comprenant au moins une exécution d’une séquence qui inclut les étapes suivantes : /1/ une étape de prédiction, comprenant de prédire des intervalles d’état ultérieurs, chaque intervalle d’état ultérieur étant obtenu en appliquant au moins une règle de propagation à un d’une pluralité d’intervalles d’état antérieurs ; /2/ une étape de mesure d’un état vrai du système ; /3/ une étape de contraction de l’un au moins des intervalles d’état ultérieurs, en fonction d’au moins un résultat de mesure de l’état vrai qui a été obtenu à l’étape /2/ ; /4/ une étape de mise-à-jour de poids, comprenant d’affecter un poids à chaque intervalle d’état ultérieur en fonction d’une taille dudit intervalle d’état ultérieur tel que résultant de l’étape /3/, d’une taille dudit intervalle d’état ultérieur tel que résultant de l’étape /1/ avant l’étape /3/, et d’un poids de l’intervalle d’état antérieur dont a résulté ledit intervalle d’état ultérieur lors de l’étape /1/ ; et /5/ une étape de redistribution des intervalles d’état ultérieurs, comprenant de remplacer au moins un des intervalles d’état ultérieurs i par n i sous-intervalles provenant d’une division de l’intervalle d’état ultérieur i, i étant un indice entier de numérotation des intervalles d’état ultérieurs et n i étant un nombre des sous-intervalles qui remplacent ledit intervalle d’état ultérieur i, chaque sous-intervalle étant destiné à constituer un intervalle d’état antérieur pour une itération ultérieure de la séquence des étapes /1/ à /5/, le procédé étant caractérisé en ce que l’une au moins des étapes /1/ à /5/ comprend au moins un calcul d’une estimation de la valeur de X α , où X est un nombre variable pour chaque exécution de ladite étape et α est une valeur d’exposant non-nulle qui est constante entre des exécutions différentes de ladite d’étape, le nombre X étant positif si l’exposant α n’est pas un nombre entier et non-nul si l’exposant α est négatif, le calcul comprenant les étapes suivantes : /a/ d’écrire le nombre X sous une forme X = ±(1+m)·2 ex , où ex est un nombre entier négatif, positif ou nul, et m est une mantisse comprise entre 0 et 1, la valeur 0 et étant permise, de sorte qu’une représentation binaire du nombre X soit : I(X) = L·(m + ex + B), où L=2 n avec n qui est un nombre de bits d’une écriture binaire de la mantisse m, et B est un nombre constant positif ou nul, appelé biais ; /b/ de calculer une représentation binaire de X α sous la forme : I(X α ) = α·I(X) + L·(1 - α)·(B - σ), où σ est un nombre constant dont la valeur est enregistrée ; et /c/ d’obtenir l’estimation de la valeur de X α à partir de la représentation binaire I(X α ). Procédé selon la revendication 1, suivant lequel l’étape du procédé de filtrage particulaire régularisé à boîtes qui comprend le calcul de l’estimation de la valeur de X α est l’étape /5/, notamment une sous-étape de l’étape /5/ qui consiste à calculer une valeur de norme d’une partie d’un intervalle d’état ultérieur du système, correspondant à un intervalle de position du système, un intervalle de vitesse dudit système ou un intervalle d’attitude dudit système, et/ou une autre sous-étape de l’étape /5/ qui consiste à appliquer un lissage par noyau de probabilité aux sous-intervalles pour obtenir les intervalles d’état antérieurs de l’itération ultérieure de la séquence des étapes /1/ à /5/. Procédé selon la revendication 1 ou 2, suivant lequel le calcul de l’estimation de la valeur de X α comprend en outre d’exécuter au moins une fois l’étape supplémentaire suivante : /d/ calculer une nouvelle estimation de la valeur de X α à partir d’une estimation antérieure de la valeur de X α , en appliquant un algorithme récursif de résolution approchée d’équation à l’équation Y 1/ α - X =0 d’inconnue Y, l’estimation de la valeur de X α qui a été obtenue à l’étape /c/ étant utilisée comme estimation antérieure pour une première application dudit algorithme, et la nouvelle estimation de la valeur de X α qui est produite par une q ième application de l’algorithme formant l’estimation antérieure de la valeur de X α pour la (q+1) ième application dudit algorithme, si une telle (q+1) ième application de l’algorithme est effectuée, q étant un nombre entier supérieur ou égal à 1. Procédé selon la revendication 3, suivant lequel l’algorithme récursif de résolution approchée d’équation qui est utilisé à l’étape /d/ est la méthode de Newton. Procédé selon l’une quelconque des revendications précédentes, suivant lequel le nombre n des bits de l’écriture binaire de la mantisse m est égal à 23 et le biais B est égal à 127, ou le nombre n est égal à 52 bits et le biais B est égal 1023. Procédé selon l’une quelconque des revendications précédentes, suivant lequel le nombre constant σ est compris entre 0 et 1, de préférence compris entre 0 et 0,5. Procédé selon l’une quelconque des revendications précédentes, suivant lequel la valeur d’exposant α est égale à +2, -2, +1/2 ou -1/2. Unité de calcul (3), comprenant au moins une première entrée adaptée pour recevoir des résultats de mesures répétées d’accélération et de vitesse angulaire d’un système, et une seconde entrée adaptée pour recevoir des résultats de mesures répétées d’un état vrai du système, supplémentaires par rapport aux mesures d’accélération et de vitesse angulaire, et l’unité de calcul étant agencée pour exécuter un procédé de filtrage particulaire régularisé à boîtes qui est conforme à l’une quelconque des revendications précédentes, de façon à produire en sortie une série d’intervalles d’état avec des poids respectifs, le poids qui est associé à chacun des intervalles d’état correspondant à une valeur de probabilité pour que l’état vrai du système soit dans ledit intervalle d’état. Unité de calcul (3) selon la revendication 8, de type circuit à réseau de portes programmables, circuit à réseau de portes fixes, ou processeur d’unité centrale. Centrale de navigation à corrélation de mesure (10), adaptée pour être embarquée à bord d’un véhicule (20), comprenant : - une centrale inertielle (1), adaptée pour mesurer itérativement des accélérations et des vitesses angulaires du véhicule (20), et pour déduire en utilisant des résultats de mesures des accélérations et des vitesses angulaires, des intervalles d’état ultérieurs respectivement à partir de plusieurs intervalles d’état antérieurs, chaque état du véhicule comprenant des coordonnées de position, de vitesse et d’attitude dudit véhicule ; - un système de mesure (2), adapté pour mesurer itérativement au moins une caractéristique d’un état vrai du véhicule (20) ; et - une unité de calcul (3) conforme à la revendication 8 ou 9, et adaptée pour réduire au moins une dérive de la centrale inertielle (1), parmi une dérive de position, une dérive de vitesse et une dérive d’attitude, en utilisant des résultats de mesure de la caractéristique de l’état vrai du véhicule (20) qui sont délivrés par le système de mesure (2). Véhicule (20), comprenant une centrale de navigation à corrélation de mesure (10) qui est conforme à la revendication 10.