FR 3085476 A1 20200306 FR 1857750 A 20180829 DETECTION DE PRESENCE DE GLACE AU NIVEAU D'UNE SONDE DE TEMPERATURE TOTALE DE L'AIR DOMAINE TECHNIQUE La présente invention concerne une détection de présence de glace au niveau d'une sonde de température totale de l'air dans un aéronef, donc de mesures biaisées effectuées par la sonde de température totale de l'air, et concerne aussi une estimation de température totale de l'air à utiliser comme donnée de contrôle en vol dans l'aéronef en remplacement des mesures biaisées. ETAT DE LA TECHNIQUE ANTERIEURE La température totale de l'air (TAT, pour « Total Air Temperature » en langue anglo-saxonne) est une donnée de contrôle en vol dans un aéronef La température totale de l'air est typiquement obtenue grâce à des sondes de température, appelées sondes TAT (« TAT probes » en langue anglo-saxonne), disposées sur la peau du fuselage de l'aéronef afin de mesurer la température de l'écoulement d'air autour de l'aéronef Les sondes TAT peuvent être soumises à des phénomènes de givrage. Pour remédier à ce problème, les sondes TAT sont chauffées. Cependant, en présence de cristaux de glace dans l'air, comme cela peut être le cas dans les nuages de type cumulonimbus, ou en présence d'eau surfondue, les sondes TAT peuvent par moments se remplir de glace plus vite qu'elles ne sont capables de l'évacuer, ce qui peut fausser la température mesurée. Dans le brevet US 9,733,135 B2, il est proposé un système et un procédé pour détecter automatiquement qu'une mesure de température totale de l'air par des sondes TAT d'un aéronef est biaisée par la présence de glace. Les mesures de température totale de l'air détectées comme biaisées sont alors écartées des données de contrôle en vol de l'aéronef Le système et le procédé proposés sont particulièrement efficaces lorsque les variations d'altitude et de vitesse de l'aéronef sont contenues dans un intervalle de marge prédéfini. Il est alors souhaitable de fournir une solution qui permette de détecter plus finement les situations de présence de glace au niveau des sondes TAT, notamment quelle que soit la phase de vol (montée, croisière, descente). Il est aussi souhaitable de fournir une solution qui puisse fournir continuellement une valeur de température totale 2 de l'air qui soit la moins biaisée possible malgré l'éventuelle présence de glace au niveau des sondes TAT. EXPOSE DE L'INVENTION 5 Un objet de la présente invention est de proposer un procédé de détection de présence de glace au niveau d'une sonde de température totale de l'air équipant un aéronef, le procédé étant implémenté par un système de détection de présence de glace effectuant une surveillance de pente de mesures de température totale de l'air effectuées par la sonde de température totale de l'air. Le procédé est tel que le système de détection 10 de présence de glace effectue en outre les étapes suivantes : effectuer une surveillance de pente de différentiel de température AISA, qui est la différence entre une valeur de température d'air statique et une valeur de température au modèle ISA (« International Standard Atmosphere » en langue anglo-saxonne) déterminée en fonction de l'altitude de l'aéronef ; et détecter une présence de glace au niveau de la sonde de température 15 totale de l'air lorsque la température totale de l'air mesurée par la sonde de température totale de l'air montre une pente positive supérieure à un premier seuil positif prédéfini TH1 et lorsque de plus le différentiel de température AISA montre simultanément une pente positive supérieure à un second seuil positif prédéfini TH2. Ainsi, grâce à la prise en compte de la pente du différentiel de température AISA en plus de la pente des 20 mesures de température totale de l'air effectuées par la sonde de température totale de l'air, la détection de présence de glace est possible quelle que soit la phase de vol (montée, croisière, descente) de l'aéronef Selon un mode de réalisation particulier, le système de détection de présence de glace effectue ensuite l'étape suivante : détecter une disparition de la glace au niveau 25 de la sonde de température totale de l'air lorsque la température totale de l'air mesurée par la sonde de température totale de l'air montre une pente négative supérieure en valeur absolue à un troisième seuil positif prédéfini TH3 et lorsque de plus le différentiel de température AISA montre simultanément une pente négative supérieure en valeur absolue à un quatrième seuil positif prédéfini TH4. 30 Selon un mode de réalisation particulier, pour considérer une disparition effective de la glace au niveau de la sonde de température totale de l'air, le système de détection de présence de glace attend que les mesures de température totale de l'air effectuées par la sonde de température totale de l'air soient cohérentes avec des mesures de température totale de l'air effectuées par une sonde de référence ou avec des estimations 3 de température totale de l'air effectuées à partir de l'altitude de l'aéronef et du différentiel de température AISA auquel est appliqué un retard prédéfini. Un autre objet de la présente invention est de proposer un procédé de détermination de température totale de l'air à utiliser comme donnée de contrôle de vol 5 d'un aéronef, le procédé étant implémenté par un système de détermination de température totale de l'air comportant un système de détection de présence de glace implémentant le procédé mentionné ci-dessus. Le système de détermination de température totale de l'air comportant en outre un système d'estimation de température totale de l'air effectuant des estimations de température totale de l'air à partir de 10 l'altitude de l'aéronef et du différentiel de température AISA auquel est appliqué un retard prédéfini, le procédé est tel que le système de détermination de température totale de l'air effectue les étapes suivantes : sélectionner, comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef, la température totale de l'air estimée par le système d'estimation de température totale de l'air lorsqu'une présence 15 de glace au niveau de la sonde de température totale de l'air est détectée ; et sélectionner sinon, comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef, la température totale de l'air mesurée par la sonde de température totale de l'air. Ainsi, il est possible de fournir continuellement une valeur de température totale de l'air qui soit la moins biaisée possible malgré l'éventuelle présence de glace au 20 niveau de la sondes de température totale de l'air. Selon un mode de réalisation particulier, les estimations de température totale de l'air TAT- sont effectuées comme suit : A SAT- = min (15 - 1.98 * ; 56.5) 1000 + AISAd avec 25 TAT* = SAT* * (1+ 0.2 * M2) où A représente l'altitude de l'aéronef, AISAa représente le différentiel de température AISA retardé et SAT* représente des estimations de température d'air statique qui correspondent aux estimations de température totale de l'air TAT" corrigées des effets de vitesse de l'aéronef 30 Selon un mode de réalisation particulier, le système de détermination de température totale de l'air bascule depuis la valeur de température totale de l'air estimée TAT" vers la valeur de température totale de l'air mesurée par la sonde de température totale de l'air lorsque les mesures de température totale de l'air effectuées par la sonde 4 de température totale de l'air sont cohérentes avec les estimations de température totale de l'air effectuées par le système d'estimation de température totale de l'air. Selon un mode de réalisation particulier, le système de détermination de température totale de l'air bascule depuis la valeur de température totale de l'air estimée 5 TAT* vers la valeur de température totale de l'air mesurée par la sonde de température totale de l'air lorsque les mesures de température totale de l'air effectuées par la sonde de température totale de l'air sont cohérentes avec des mesures de température totale de l'air effectuées par une sonde de référence. Un autre objet de la présente invention est de proposer un produit programme 10 d'ordinateur, qui peut être stocké sur un support et/ou téléchargé d'un réseau de communication, afin d'être lu par un processeur de la circuiterie du système de contrôle évoqué ci-dessus. Ce programme d'ordinateur comprend des instructions pour implémenter l'un ou l'autre des procédés mentionnés ci-dessus dans l'un quelconque de leurs modes de réalisation, lorsque ledit programme est exécuté par le processeur. 15 Un autre objet de la présente invention est de proposer un support de stockage d'informations sur lequel est stocké un tel programme d'ordinateur. Un autre objet de la présente invention est de proposer un système de détection de présence de glace au niveau d'une sonde de température totale de l'air équipant un aéronef, le système de détection de présence de glace comportant des moyens pour 20 effectuer une surveillance de pente de mesures de température totale de l'air effectuées par la sonde de température totale de l'air. Le système de détection de présence de glace comporte en outre : des moyens pour effectuer une surveillance de pente de différentiel de température AISA, qui est la différence entre une valeur de température d'air statique et une valeur de température au modèle ISA déterminée en fonction de l'altitude de 25 l'aéronef ; et des moyens pour détecter une présence de glace au niveau de la sonde de température totale de l'air lorsque la température totale de l'air mesurée par la sonde de température totale de l'air montre une pente positive supérieure à un premier seuil positif prédéfini TH1 et lorsque de plus le différentiel de température AISA montre simultanément une pente positive supérieure à un second seuil positif prédéfini TH2. 30 Un autre objet de la présente invention est de proposer un aéronef comportant une sonde de température totale de l'air et un système, tel que mentionné ci-dessus, de détection de présence de glace au niveau de la sonde de température totale de l'air. Un autre objet de la présente invention est de proposer un système de détermination de température totale de l'air à utiliser comme donnée de contrôle de vol d'un aéronef, le système de détermination de température totale de l'air comportant le système de détection de présence de glace tel que mentionné ci-dessus. Le système de détermination de température totale de l'air comporte en outre un système d'estimation de température totale de l'air comportant des moyens pour effectuer des estimations de 5 température totale de l'air à partir de l'altitude de l'aéronef et du différentiel de température AISA auquel est appliqué un retard prédéfini et : des moyens pour sélectionner, comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef, la température totale de l'air estimée par le système d'estimation de température totale de l'air lorsqu'une présence de glace au niveau de la sonde de 10 température totale de l'air est détectée ; et des moyens pour sélectionner sinon, comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef, la température totale de l'air mesurée par la sonde de température totale de l'air. Un autre objet de la présente invention est de proposer un aéronef comportant une sonde de température totale de l'air et un système, tel que mentionné ci-dessus, de 15 détermination de température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef BREVE DESCRIPTION DES DESSINS Les caractéristiques de l'invention mentionnées ci-dessus, ainsi que d'autres, 20 apparaîtront plus clairement à la lecture de la description suivante d'au moins un exemple de réalisation, ladite description étant faite en relation avec les dessins joints, parmi lesquels : - la Fig. 1 montre une vue de côté d'un aéronef équipé d'un système de détermination de température totale de l'air ; 25 - la Fig. 2 illustre schématiquement un agencement du système de détermination de température totale de l'air, selon un premier mode de réalisation ; - la Fig. 3 illustre schématiquement un agencement du système de détermination de température totale de l'air, selon un second mode de réalisation ; - la Fig. 4 illustre schématiquement un organigramme d'un algorithme de 30 détermination de température totale de l'air ; - la Fig. 5 illustre schématiquement une machine d'états implémentée par le système de détermination de température totale de Fair, dans un mode de réalisation particulier et 6 - la Fig. 6 illustre schématiquement une courbe de température mesurée par une sonde de température totale de l'air, en cas de présence de glace. EXPOSE DETAILLE DE MODES DE REALISATION 5 La Fig. 1 illustre schématiquement, en vue de côté, un aéronef 100. L'aéronef 100 comporte un système 101 de détermination de température totale de l'air. Le système 101 de détermination de température totale de l'air est connecté à au moins un sonde TAT 200 disposée sur la peau du fuselage de l'aéronef 100 afin de mesurer la température de l'écoulement d'air autour de l'aéronef 100. En cas de pluralité de sondes 10 TAT 200, le système 101 de détermination de température totale de l'air est capable de suivre indépendamment le comportement de chaque sonde TAT 200 et en déduire si la mesure effectuée par la sonde TAT 200 en question est biaisée ou pas. Le système 101 de détermination de température totale de l'air comporte deux blocs fonctionnels principaux : un système 101a de détection de présence de glace et un 15 système 101b d'estimation de température totale de l'air qui prend le relais des mesures fournies par la sonde TAT 200 en question quand lesdites mesures sont détectées comme biaisées. La Fig. 2 illustre schématiquement un agencement du système 101 de détermination de température totale de l'air, selon un premier mode de réalisation. Sur 20 la Fig. 2 sont ainsi schématiquement illustrés le système 101 de détermination de température totale de l'air, la sonde TAT 200, un dispositif 201 de fourniture d'information d'altitude, un dispositif 202 de fourniture d'information de nombre de Mach (« Mach number » en langue anglo-saxonne), et un dispositif 203 de fourniture d'information de température totale de l'air. Sur la Fig. 2 apparaissent sur fond gris les 25 blocs constitutifs du système 101a de détection de présence de glace, les autres blocs constituant le système 101b d'estimation de température totale de l'air qui vient en surcouche du système 101a de détection de présence de glace. Le dispositif 201 de fourniture d'information d'altitude et le dispositif 202 de fourniture d'information de nombre de Mach sont connectés en entrée du système 101 30 de détermination de température totale de l'air. Le dispositif 201 de fourniture d'information d'altitude est un altimètre, ou un calculateur déterminant l'altitude grâce notamment à des sondes de pression statique, ou un dispositif (tel qu'un registre ou une zone mémoire ou une interface) récupérant l'information d'altitude fournie par l'altimètre ou le calculateur. Le dispositif 202 de fourniture d'information de nombre 7 de Mach est un machmètre, ou un calculateur déterminant le nombre de Mach grâce notamment aux sondes de pression statique, ou un dispositif (tel qu'un registre ou une zone mémoire ou une interface) récupérant l'information de nombre de Mach fournie par le machmètre ou le calculateur. Le dispositif 203 de fourniture d'information de température totale de l'air est destiné à fournir l'information de température totale de l'air aux pilotes de l'aéronef 100 et/ou à des instruments de bord de l'aéronef 100. Par exemple, le dispositif 203 de fourniture d'information de température totale de l'air est un afficheur, ou un registre, ou une zone mémoire, ou une interface ou une combinaison de ceux-ci. 10 Sur la Fig. 2, le système 101 de détermination de température totale de l'air comporte un module 210 de calcul de température d'air statique SAT (« Static Air Temperature » en langue anglo-saxonne). Le module 210 de calcul de température d'air statique SAT prend en entrée l'information de nombre de Mach fournie par le dispositif 202 et la température totale de l'air fournie par la ou les sondes TAT 200. Déterminer 15 la température d'air statique SAT d'après la température totale de l'air TAT et du nombre de Mach repose sur la formule suivante : SAT ,TAT / (1+ 0.2 *M2) où M représente le nombre de Mach. Le système 101 de détermination de température totale de l'air comporte en outre 20 un module 211 de détermination de température au modèle ISA. On parle d'atmosphère normalisée. Le module 211 de détermination de température au modèle ISA prend ainsi en entrée l'information d'altitude fournie par le dispositif 201, et en déduit, grâce à des abaques et/ou des formules mathématiques quelle est la température théorique à l'extérieur de l'aéronef 100. Le modèle ISA est répandu en avionique et il n'est donc 25 pas utile de le détailler ici. Le système 101 de détermination de température totale de l'air comporte en outre un module 212 de calcul de différentiel de température AISA, qui prend en entrée l'information de température d'air statique SAT fournie par le module 210 de calcul de température d'air statique SAT et la température au modèle ISA fournie par le module 30 211 de détermination de température au modèle ISA, et en calcule la différence. En cas de présence de glace au niveau de la sonde TAT 200, la température mesurée tend rapidement vers 0°C. Ceci crée une variation rapide du différentiel de température AISA calculé à partir des mesures effectuées par la sonde TAT 200, quelle que soit la phase de vol (montée, croisière, descente), alors que si la température totale d'air varie 8 fortement à cause de variations significatives d'altitude et/ou de vitesse de l'aéronef 100, le différentiel de température AISA reste stable. Tel que décrit ci-après, le système 101 de détermination de température totale de l'air effectue une surveillance de pente de la température totale de l'air mesurée par la 5 sonde TAT 200 vis-à-vis d'un seuil TE11, appelé premier seuil, et d'un seuil TH3, appelé troisième seuil , de plus, le système 101 de détermination de température totale de l'air effectue une surveillance de pente du différentiel de température AISA vis-à-vis d'un seuil TH2, appelé second seuil, et d'un seuil TH4, appelé quatrième seuil. Le système 101 de détermination de température totale de l'air comporte en outre 10 un module 214 de surveillance de pente du différentiel de température AISA. Le module 214 de surveillance de pente du différentiel de température AISA effectue une intégration sur une durée prédéfinie d'échantillons du différentiel de température AISA fourni par le module 212 de calcul de différentiel de température AISA et en déduit une valeur de pente du différentiel de température AISA. Lorsque le différentiel de 15 température AISA aune pente positive qui dépasse le second seuil prédéfini positif TH2, le module 214 de surveillance de pente du différentiel de température AISA fournit en sortie un premier signal de déclenchement représentatif d'une détection de présence de glace au niveau de la sonde TAT 200. Lorsque le différentiel de température AISA a une pente négative qui dépasse en valeur absolue le quatrième seuil prédéfini positif 20 TH4, le module 214 de surveillance de pente du différentiel de température AISA fournit en sortie un premier signal de déclenchement représentatif d'une détection de disparition de la glace au niveau de la sonde TAT 200. Le système 101 de détermination de température totale de l'air comporte en outre un module 213 de surveillance de pente de la température totale de l'air mesurée par la 25 sonde TAT 200. Le module 213 de surveillance de pente de la température totale de l'air mesurée effectue une intégration sur une durée prédéfinie d'échantillons de mesures effectuées par la sonde TAT 200 et en déduit une valeur de pente de la température totale de l'air mesurée par la sonde TAT 200. Lorsque la température totale de l'air mesurée par la sonde TAT 200 a une pente positive qui dépasse le premier seuil 30 prédéfini positif TH1, le module 213 de surveillance de pente de la température totale de l'air mesurée fournit en sortie un second signal de déclenchement représentatif d'une détection de présence de glace au niveau de la sonde TAT 200. Lorsque la température totale de l'air mesurée par la sonde TAT 200 a une pente négative qui dépasse en valeur absolue le troisième seuil prédéfini positif TE13, le module 213 de surveillance de pente 9 de la température totale de l'air mesurée fournit en sortie un second signal de déclenchement représentatif d'une détection de disparition de la glace au niveau de la sonde TAT 200. Le système 101 de détermination de température totale de l'air comporte en outre 5 un module 216 de détection de déclenchements concomitants, qui prend en entrée la sortie du module 213 de surveillance de pente de la température totale de l'air mesurée et la sortie du module 214 de surveillance de pente du différentiel de température AISA. En présence concomitante du premier signal de déclenchement et du second signal de déclenchement qui indiquent tous deux une détection de présence de glace au niveau de 10 la sonde TAT 200, le module 216 de détection de déclenchements concomitants fournit en sortie un signal de détection de présence de glace au niveau de la sonde TAT 200. En présence concomitante du premier signal de déclenchement et du second signal de déclenchement qui indiquent tous deux une détection de disparition de la glace au niveau de la sonde TAT 200, le module 216 de détection de déclenchements 15 concomitants fournit en sortie un signal de détection de disparition de la glace au niveau de la sonde TAT 200. Le module 216 de détection de déclenchements concomitants a donc en substance un comportement de porte ET logique (d'où sa représentation schématique sur la Fig. 2). Le système 101 de détermination de température totale de l'air comporte en outre 20 un module 215 de retardement, qui prend en entrée le différentiel de température AISA fourni par le module 212 de calcul de différentiel de température AISA et lui applique un délai prédéfini At. Comme détaillé ci-après, le module 215 de retardement est utilisé pour l'estimation de température totale de l'air en cas de présence de glace au niveau de la sonde TAT 200. 25 Le système 101 de détermination de température totale de l'air comporte en outre un module 218 d'estimation de température totale de l'air, qui prend en entrées le différentiel de température AISA retardé par le module 215 de retardement et l'information d'altitude fournie par le dispositif 202. Le module 218 d'estimation de température totale de Fair obtient la température totale de l'air estimée TAT- (exprimée 30 en degrés Celsius) de la façon suivante : A SAT- = min (15 - 1.98 * ; 56.5) 1000 + A1SAd avec TAT* = SAT* * (1+ 0.2 * M2) 10 où A représente l'altitude et AISA représente le différentiel de température AISA retardé par le module 215 de retardement et où SAT- représente la température d'air statique estimée, c'est-à-dire la température totale de l'air estimée TAT* corrigée des effets de vitesse de l'aéronef 100. A noter que les constantes présentes dans la formule 5 de la température d'air statique estimée SAT- sont déduites du modèle ISA. Etant donné qu'en conditions normales le différentiel de température AISA a une dynamique lente, négligeable au regard du temps nécessaire à la sonde TAT 200 pour évacuer la glace accumulée, et que les sondes de pression statique sont par nature beaucoup moins sujettes à l'accumulation de glace que les sondes TAT 200, la 10 température totale de l'air estimée TAT- peut être utilisée en remplacement de la température totale de l'air TAT mesurée, le temps que la sonde TAT 200 parvienne à évacuer la glace. L'estimation est effectuée sur la base du différentiel de température AISA retardé du délai prédéfini At, de sorte à ne pas être affectée par une survenue soudaine de glace 15 au niveau de la sonde TAT 200. Le calcul de la température totale de l'air estimée TAT est ainsi effectué en utilisant le différentiel de température AISA obtenu avant l'accumulation de glace au niveau de la sonde TAT 200. Le délai prédéfini At est prédéfini en conséquence. Une manière de procéder est de mettre la sortie du module 216 de détection de déclenchements concomitants en entrée du module 218 d'estimation 20 de température totale de l'air. Ainsi, sur apparition du signal de détection représentatif d'une détection de présence de glace au niveau de la sonde TAT 200 (fourni par le module 216 de détection de déclenchements concomitants), le module 218 d'estimation de température totale de l'air enregistre le différentiel de température AISA retardé qui est fourni par le module 215 de retardement. L'estimation est alors effectuée sur la base 25 du différentiel de température AISA retardé tel qu'enregistré. Le système 101 de détermination de température totale de l'air comporte en outre un module 217 de sélection, qui prend en entrées le signal de déclenchement issu du module 216 de détection de déclenchements concomitants, les mesures de température totale de l'air effectuées par la sonde TAT 200 et la température totale de l'air estimée 30 T AT* fournie par le module 218 d'estimation de température totale de l'air. Lorsque le signal de détection indique une détection de présence de glace au niveau de la sonde TAT 200, le module 217 de sélection fournit au dispositif 203 la valeur de température totale de l'air estimée T AT* , et lorsque le signal de détection indique une détection de disparition de la glace au niveau de la sonde TAT 200, le module 217 de sélection 11 fournit au dispositif 203 la valeur de température totale de l'air mesurée par la ou les sondes TAT 200. Dans un mode de réalisation particulier, le module 217 de sélection attend que la valeur de température totale de l'air mesurée par la sonde TAT 200 soit cohérente avant 5 de basculer en sortie depuis la valeur de température totale de l'air estimée TAT* vers la valeur de température totale de l'air mesurée par la sonde TAT 200. La disparition effective de la glace au niveau de la sonde TAT 200 est alors détectée lorsque cette cohérence est atteinte (ce qui explique que, sur la Fig. 2, le module 217 de sélection soit partiellement inclus dans le système 101a de détection de présence de glace). La valeur 10 de température totale de l'air mesurée par la sonde TAT 200 est cohérente lorsqu'elle présente un écart inférieur à un seuil prédéfini par rapport à la valeur de température totale de l'air estimée TAT* ou lorsqu'elle présente un écart inférieur audit seuil prédéfini par rapport à la valeur de température totale de l'air mesurée par une sonde de référence. Une sonde de référence est une sonde TAT qui n'a pas subi la situation 15 d'accumulation de glace en question. La Fig. 3 illustre schématiquement un agencement du système 101 de détermination de température totale de l'air, selon un second mode de réalisation. Sur la Fig. 3 sont ainsi schématiquement illustrés le système 101 de détermination de température totale de l'air, la sonde TAT 200, le dispositif 201 de fourniture 20 d'information d'altitude, le dispositif 202 de fourniture d'information de nombre Mach, et le dispositif 203 de fourniture d'information de température totale de l'air. Sur la Fig. 3, le système 101 de détermination de température totale de l'air comporte, reliés par un bus de communication 310 : un processeur 301 ; une mémoire vive 302 ; une mémoire morte 303, par exemple de type EEPROM (« Electrically- 25 Erasable Programmable Read Only Memory » en langue anglo-saxonne) ; une unité de stockage 304, telle qu'un disque dur HDD (« Hard Disk Drive » en langue anglo-saxonne), ou un lecteur de support de stockage, tel qu'un lecteur de cartes SD (« Secure Digital » en langue anglo-saxonne) ; une interface d'entrées-sorties 305 permettant de connecter le système 101 de détermination de température totale de l'air à la sonde TAT 30 200, au dispositif 201 de fourniture d'altitude, au dispositif 202 de fourniture de nombre Mach, ainsi qu'au dispositif 203 de fourniture d'information de température totale de l' air. Le processeur 301 est capable d'exécuter des instructions chargées dans la mémoire vive 302 à partir de la mémoire morte 303, d'une mémoire externe, d'un 12 support de stockage (tel qu'une carte SD), ou d'un réseau de communication. Lorsque le système 101 de détermination de température totale de l'air est mis sous tension, le processeur 301 est capable de lire de la mémoire vive 302 des instructions et de les exécuter. Ces instructions forment un programme d'ordinateur causant 5 l'implémentation, par le processeur 301, de tout ou partie de l'algorithme et des étapes décrits ci-après en relation avec la Fig. 4. Tout ou partie de l'algorithme et des étapes décrits ci-après en relation avec la Fig. 4 peut ainsi être implémenté sous forme logicielle par exécution d'un ensemble d'instructions par une machine programmable, par exemple un processeur de type DSP 10 (« Digital Signal Processor » en langue anglo-saxonne) ou un microcontrôleur, ou être implémenté sous forme matérielle par une machine ou un composant dédié, par exemple un composant FPGA (« Field-Programmable Gate Array » en langue anglo-saxonne) ou ASIC (« Application-Specific Integrated Circuit » en langue anglo-saxonne). D'une manière générale, le système 101 de détermination de température totale de l'air 15 comporte de la circuiterie électronique adaptée et configurée pour implémenter, sous forme logicielle et/ou matérielle, l'algorithme décrit ci-après en relation avec la Fig. 4. La Fig. 4 illustre schématiquement un organigramme d'un algorithme de détermination de température totale de l'air implémenté par le système 101 de détermination de température totale de l'air. 20 Dans une étape 401, le système 101 de détermination de température totale de l'air effectue une surveillance de la pente de la température totale de l'air mesurée par la sonde TAT 200, telle que déjà décrite. Dans une étape 402, le système 101 de détermination de température totale de l'air effectue une surveillance de la pente du différentiel de température AISA, telle que 25 déjà décrite. Dans une étape 403 optionnelle, le système 101 de détermination de température totale de l'air effectue une surveillance de cohérence de la température totale de l'air mesurée par la sonde TAT 200. Dans une étape 404, le système 101 de détermination de température totale de 30 l'air vérifie si une présence de glace est détectée au niveau de la sonde TAT 200 d'après la surveillance de la pente de la température totale de l'air mesurée par la sonde TAT 200 et de la surveillance de la pente du différentiel de température AISA. Si une présence de glace est détectée, le système 101 de détermination de température totale de l'air fournit dans une étape 405 la valeur de la température totale de l'air estimée 13 TAT* ; sinon, le système 101 de détermination de température totale de l'air fournit dans une étape 406 la valeur de la température totale de l'air mesurée par la sonde TAT 200. Dans un mode de réalisation particulier, après avoir détecté une présence de glace 5 au niveau de la sonde TAT 200, le système 101 de détermination de température totale de l'air rebascule sur la valeur de la température totale de l'air mesurée par la sonde TAT 200 uniquement lorsque la surveillance de cohérence montre que la valeur de température totale de l'air mesurée par la sonde TAT 200 est cohérente. La Fig. S illustre schématiquement une machine d'états implémentée par le 10 système 101 de détermination de température totale de l'air, dans un mode de réalisation particulier. La machine d'états présente trois états 501, 502, 503. L'état 501, que l'on peut dénommer « Nominal », correspond à un état de fonctionnement nominal de la sonde TAT 200. Aucune présence de glace n'est détectée au niveau de la sonde TAT 200. La 15 valeur de température totale de Fair mesurée par la sonde TAT 200 est sélectionnée par le système 101 de détermination de température totale de l'air. L'état 502, que l'on peut dénommer « Freezing », correspond à un état de fonctionnement où une présence de glace est détectée au niveau de la sonde TAT 200. La valeur de température totale de l'air estimée TAT* est sélectionnée par le système 20 101 de détermination de température totale de l'air. L'état 503, que l'on peut dénommer « Unfreezing », correspond à un état de fonctionnement où de la glace a commencé à disparaître au niveau de la sonde TAT 200. La valeur de température totale de l'air estimée TAT* est sélectionnée par le système 101 de détermination de température totale de l'air, le temps que la valeur de 25 température totale de l'air mesurée par la sonde TAT 200 soit cohérente avec la valeur de température totale de l'air estimée TAT*. La transition 510 de l'état 501 à l'état 502 s'effectue lorsque la température totale de l'air mesurée par la sonde TAT 200 montre une pente positive supérieure au premier seuil positif prédéfini TI-11 et lorsque de plus le différentiel de température 4ISA montre 30 simultanément une pente positive supérieure au second seuil positif prédéfini TI-12. On peut noter qu'à ce stade la valeur de température totale de l'air mesurée par la sonde TAT 200 commence à significativement diverger de la valeur de température totale de l'air estimée TAT*. 14 La transition 511 de l'état 502 à l'état 503 s'effectue lorsque la température totale de l'air mesurée par la sonde TAT 200 montre une pente négative supérieure en valeur absolue au troisième seuil positif prédéfini TH3 et lorsque de plus le différentiel de température AISA montre simultanément une pente négative supérieure en valeur 5 absolue au quatrième seuil positif prédéfini TH4. On peut noter qu' à ce stade la valeur de température totale de l'air mesurée par la sonde TAT 200 commence à significativement reconverger vers la valeur de température totale de l'air estimée TAT*. La transition 512 de l'état 503 à l'état 502 s'effectue lorsque la température totale 10 de l'air mesurée par la sonde TAT 200 montre à nouveau une pente positive supérieure au premier seuil positif prédéfini TH1 et lorsque de plus le différentiel de température AISA montre à nouveau simultanément une pente positive supérieure au second seuil positif prédéfini TH2. En d'autres termes, les conditions météorologiques se sont durcies à nouveau et une nouvelle accumulation de glace se forme au niveau de la sonde 15 TAT 200. La transition 513 de l'état 503 à l'état 501 s'effectue lorsque la température totale de l'air mesurée par la sonde TAT 200 montre une pente négative inférieure en valeur absolue au troisième seuil positif prédéfini TH3, lorsque de plus le différentiel de température AISA montre simultanément une pente négative inférieure en valeur 20 absolue au quatrième seuil positif prédéfini TH4 et lorsqu'enfin la valeur de température totale de l'air mesurée par la sonde TAT 200 est cohérente. La Fig. 6 illustre schématiquement une courbe de température mesurée par la sonde TAT 200, en cas de présence de glace. Pendant une période T1, la température mesurée par la ou les sondes TAT 200 est 25 largement en dessous de -5°C. Puis de la glace apparait au niveau de la sonde TAT 200, ce qui implique de retenir la température totale de l'air estimée TAT`. Ainsi pendant une période T2, qui peut durer d'une à trois minutes, la température mesurée par la sonde TAT 200 grimpe fortement, et se stabilise entre -5°C et 0°C (ou entre -8°C et 0°C) pendant une période T3 qui peut durer jusqu'à une dizaine de minutes. Ensuite, 30 pendant une période T4 qui peut durer deux à huit minutes, la sonde TAT 200 parviennent à faire fondre et à évacuer la glace, et la température mesurée par la sonde TAT 200 chute fortement, REVENDICATIONS1/ Procédé de détection de présence de glace au niveau d'une sonde de température totale de l'air (200) équipant un aéronef (100), le procédé étant implémenté par un système (101a) de détection de présence de glace effectuant une surveillance (401) de pente de mesures de température totale de l'air effectuées par la sonde de température totale de l'air (200), caractérisé en ce que le système (101a) de détection de présence de glace effectue en outre les étapes suivantes : effectuer une surveillance (402) de pente de différentiel de température AISA, qui est la différence entre une valeur de température d'air statique et une valeur de température au modèle ISA déterminée en fonction de l'altitude de l'aéronef ; et détecter (404) une présence de glace au niveau de la sonde de température totale de l'air (200) lorsque la température totale de l'air mesurée par la sonde de température totale de l'air (200) montre une pente positive supérieure à un premier seuil positif prédéfini TH1 et lorsque de plus le différentiel de température AISA montre simultanément une pente positive supérieure à un second seuil positif prédéfini TH2. 2/ Procédé selon la revendication 1, dans lequel le système (101a) de détection de présence de glace effectue ensuite l'étape suivante : détecter (404) une disparition de la glace au niveau de la sonde de température totale de l'air (200) lorsque la température totale de l'air mesurée par la sonde de température totale de l'air (200) montre une pente négative supérieure en valeur absolue à un troisième seuil positif prédéfini TH3 et lorsque de plus le différentiel de température AISA montre une pente négative supérieure en valeur absolue à un quatrième seuil positif prédéfini TH4. 3/ Procédé selon la revendication 2, dans lequel, pour considérer une disparition effective de la glace au niveau de la sonde de température totale de l'air (200), le système (101a) de détection de présence de glace attend que les mesures de température totale de l'air effectuées par la sonde de température totale de l'air soient cohérentes (403) avec des mesures de température totale de l'air effectuées par une sonde de référence ou avec des estimations de température totale de l'air effectuées à partir de 16 l'altitude de l'aéronef (100) et du différentiel de température AISA auquel est appliqué un retard prédéfini. 4/ Procédé de détermination de température totale de l'air à utiliser comme donnée 5 de contrôle de vol d'un aéronef (100), le procédé étant implémenté par un système (101) de détermination de température totale de l'air comportant un système (101a) de détection de présence de glace implémentant le procédé selon la revendication 3, caractérisé en ce que, le système (101) de détermination de température totale de l'air comportant en outre un système (101b) d'estimation de température totale de l'air 10 effectuant des estimations de température totale de l'air à partir de l'altitude de l'aéronef (100) et du différentiel de température AISA auquel est appliqué un retard prédéfini, le système (101) de détermination de température totale de l'air effectue les étapes suivantes : sélectionner (405), comme température totale de l'air à utiliser comme 15 donnée de contrôle de vol de l'aéronef (100), la température totale de l'air estimée par le système (101b) d'estimation de température totale de l'air lorsqu'une présence de glace au niveau de la sonde de température totale de l'air est détectée , et sélectionner sinon (406), comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef, la température totale de l'air mesurée par la 20 sonde de température totale de l'air. 5/ Procédé selon la revendication 4, dans lequel les estimations de température totale de l'air TAT' sont effectuées comme suit : A SAT- = min (15 - 1.98 * 1000' 56.5) + AISAci 25 avec TAT* = SAT* * (1+ 0.2 * M2) où A représente l'altitude de l'aéronef AISAa représente le différentiel de température AISA retardé, et SAT- représente des estimations de température d'air statique qui correspondent aux estimations de température totale de l'air TAI' corrigées 30 des effets de vitesse de l'aéronef 6/ Procédé selon la revendication 5, dans lequel le système de détermination de température totale de l'air bascule depuis la valeur de température totale de l'air estimée TAT* vers la valeur de température totale de l'air mesurée par la sonde de température 17 totale de l'air lorsque les mesures de température totale de l'air effectuées par la sonde de température totale de l'air sont cohérentes avec les estimations de température totale de l'air effectuées par le système d'estimation de température totale de l'air. 5 7/ Procédé selon la revendication 4 ou 5, dans lequel le système de détermination de température totale de l'air bascule depuis la valeur de température totale de l'air estimée TAT* vers la valeur de température totale de l'air mesurée par la sonde de température totale de l'air lorsque les mesures de température totale de l'air effectuées par la sonde de température totale de l'air sont cohérentes avec des mesures de 10 température totale de l'air effectuées par une sonde de référence. 8/ Produit programme d'ordinateur, comportant des instructions entraînant l'exécution, par un processeur (301), du procédé selon l'une quelconque des revendications 1 à 3 ou selon l'une quelconque des revendications 4 à 7, lorsque lesdites 15 instructions sont exécutées par le processeur (301). 9/ Support de stockage, stockant un programme d'ordinateur comportant des instructions entraînant l'exécution, par un processeur (301), du procédé selon l'une quelconque des revendications 1 à 3 ou selon l'une quelconque des revendications 4 à 20 7, lorsque lesdites instructions sont lues et exécutées par le processeur (301). 10/ Système (101a) de détection de présence de glace au niveau d'une sonde de température totale de l'air (200) équipant un aéronef (100), le système (101a) de détection de présence de glace comportant des moyens (213) pour effectuer une 25 surveillance (401) de pente de mesures de température totale de l'air effectuées par la sonde de température totale de l'air (200), caractérisé en ce que le système (101a) de détection de présence de glace comporte en outre : des moyens (214) pour effectuer une surveillance (402) de pente de 30 différentiel de température AISA, qui est la différence entre une valeur de température d'air statique et une valeur de température au modèle ISA déterminée en fonction de l'altitude de l'aéronef (100) , et des moyens (216, 217) pour détecter (404) une présence de glace au niveau de la sonde de température totale de l'air (200) lorsque la température totale de l'air 18 mesurée par la sonde de température totale de Fair (200) montre une pente positive supérieure à un premier seuil positif prédéfini TH1 et lorsque de plus le différentiel de température 4ISA montre simultanément une pente positive supérieure à un second seuil positif prédéfini TH2. 5 11/ Aéronef (100) comportant une sonde de température totale de l'air (200) et un système (101a) de détection de présence de glace au niveau de la sonde de température totale de l'air (200) selon la revendication 10. 10 12/ Système (101) de détermination de température totale de l'air à utiliser comme donnée de contrôle de vol d'un aéronef, le système (101) de détermination de température totale de l'air comportant le système (101a) de détection de présence de glace selon la revendication 10, caractérisé en ce que le système (101) de détermination de température totale de l'air comporte en outre un système (101b) d'estimation de 15 température totale de l'air comportant des moyens (218) pour effectuer des estimations de température totale de l'air à partir de l'altitude de l'aéronef (100) et du différentiel de température 4ISA auquel est appliqué un retard prédéfini et : des moyens pour sélectionner (405), comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef (100), la température totale de 20 l'air estimée par le système (101b) d'estimation de température totale de l'air lorsqu'une présence de glace au niveau de la sonde de température totale de Fair (200) est détectée ; et des moyens pour sélectionner sinon (406), comme température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef (100), la température totale 25 de l'air mesurée par la sonde de température totale de l'air (200). 13/ Aéronef (100) comportant une sonde de température totale de l'air (200) et un système (101) de détermination de température totale de l'air à utiliser comme donnée de contrôle de vol de l'aéronef (100) selon la revendication 12. 30