Dans une optique de réduction du bruit engendré par les avions, de nombreux phénomènes restent encore à mieux comprendre et de nombreuses configurations sont à étudier. Un besoin en outils de simulation précis et efficaces se fait donc ressentir pour répondre à ces problématiques de propagation d'ondes. Une approche envisageable est celle des équations one-way. En effet, cette méthode permet de décomposer la résolution des équations en fonction du sens de propagation des ondes le long d'un axe. Ainsi, au sein d'un écoulement, cet axe est naturellement celui de l'écoulement principal. Cependant, l'application des équations one-way dans le cadre de la mécanique des fluides souffre d'une limitation majeure. La complexité des équations résolues (équations d'Euler ou de Navier-Stokes) impose une hypothèse d'écoulement faiblement variable, limitant de ce fait le domaine d'application d'une telle méthode. Le premier objectif a donc été de développer une reformulation de ces équations one-way, dans le but de pouvoir appliquer certaines méthodes permettant la levée d'une telle hypothèse. Pour cela, l'exploitation de deux conditions aux limites non-réfléchissantes a permis la construction d'une factorisation purement numérique de l'opérateur de propagation. A partir de cette méthode, il est ensuite possible d'appliquer des formalismes comme les équations one-way true amplitude ou les séries de Bremmer, permettant de prendre en compte les ondes réfractées et/ou réfléchies. Le second objectif a été de mettre à l'épreuve ces méthodes sur différentes applications. Ces dernières sont constituées d'écoulements variant le long de l'axe de propagation, de conduits à section variable ou partiellement traités acoustiquement (liners acoustiques) ou encore d'un jet chaud subsonique. Dans tous ces cas, les résultats fournis par les approches one-way montrent un bon accord avec les données expérimentales et avec différentes méthodes numériques plus coûteuses.

Les images de notre quotidien du 21ème siècle sont acquises et visionnées en couleur. Nos télévisions, nos téléphones et ordinateurs, tous permettent une vision indirecte, de la scène à l’œil en passant par un système de d’acquisition et une système d’affichage, avec l’illusion d’une concordance optimale avec la vision directe (de la scène à l’œil) que nous portons au monde qui nous entoure. Pour certaines applications d’imagerie extrêmement exigeantes en termes de colorimétrie, telles que : l’industrie du cinéma, la surveillance, l’industrie du textile ou bien encore l’exploration spatiale, cette illusion est régulièrement altérée par les conditions extrêmes d’acquisition rencontrées. L’objectif de cette thèse est de définir des méthodes pour la reproduction d’images numériques de très haute qualité colorimétrique. Deux axes de recherche principaux sont considérés: la sensibilité spectrale de l’œil humain, et la chaîne du traitement de l’information couleur par les capteurs d’images modernes. Les deux premiers chapitres du manuscrit donnent les connaissances et méthodes liées à ces deux axes. Dans ce cadre, deux études ont été menées sur (i) la méthode de calcul de la matrice de correction des couleurs, et (ii) la prise en compte des variations individuelles de la vision des couleurs par l’humain. Ce travail de thèse vise à définir si l’un de ces deux aspects de la chaîne de la vision indirecte, souvent étudiés indépendamment l’un de l’autre, est à l’origine de trouble importants pour la fidélité colorimétrique. Pour répondre à cette problématique, deux études ont été réalisées: la première quantifie les erreurs résiduelles après l’application à une image de corrections calculées selon deux méthodes calculatoires (moindres carrés linéaires et régression polynomiale d’ordre 2). L’étude se penche en particulier sur deux types de scènes: celles qui présentent des particularités spectrales restreintes, et celles ne permettant pas l’utilisation de mires de calibration. Les résultats sont issus de l’étude de deux capteurs d’images CMOS et sous illuminant D65. Ils indiquent en bon accord avec les études précédentes que pour des scènes contenant des couleurs de l’ensemble du domaine spectral visible, le nombre de patches utilisés pour le calcul de la matrice de correction des couleurs (CCM) peut être réduit en dessous de 24 (mire ColorChecker® X-rite). Concernant les scènes présentant des particularités spectrales, des corrections teintes-spécifiques ont été appliquées à partir de la mire Next Generation Target (NGT). Les résultats suggèrent de compléter l’étude par d’autres méthodes de sélection des teintes pour le calcul de CCM. Dans les applications qui ne permettent pas l’utilisation de mires de calibration, une méthode de caractérisation par imageur multispectral 6-bandes (déjà disponible sur de nombreuses applications spatiales) est étudiée. Elle présente des résultats acceptables sur la caractérisation de la mire ColorChecker® X-rite qui présente des réflectances qui varient de manière très progressive sur le domaine du visible. La deuxième étude quantifie les différences qui peuvent être engendrées par les variations individuelles de la vision humaine, dernier élément de la chaine de la vision indirecte. Les résultats issus de données en accès-libre dans la littérature, montrent que pour certaines teintes les différences de vision des couleurs peuvent s’avérer très critiques et suggèrent le développement de méthodes d’individualisation des images. Une revue est ensuite faite concernant les leviers technologiques utilisés pour le développement d’une expérience d’égalisation visant à mesurer la sensibilité spectrale d’individus soumis à ce contexte d’exigences colorimétriques importantes. Une discussion est alors ouverte concernant le développement de nouvelles expériences d’égalisations, proposant des alternatives pratiques issues des travaux de la littérature très récente.

De nos jours les avions ne peuvent se passer d'un important réseau embarqué pour faire communiquer les nombreux capteurs et actionneurs qui y sont disséminés. Ces réseaux ayant une fonction critique, en particulier pour les commandes de vol, il est important d'en garantir certaines propriétés telles des délais de traversée ou l'absence de débordement de buffers. Le calcul réseau est une méthode mathématique permettant de réaliser de telles preuves [2]. Elle a joué un rôle clef dans la certification du réseau AFDX, dérivé de l'ethernet, utilisé à bord des avions les plus récents (A380, A350).Le Calcul Réseau se base sur des résultats mathématiques utilisant l'algèbre tropicale. Ces résultats sont relativement simple mais déjà bien assez subtiles pour qu'il soit très facile de commettre des erreurs ou des omissions lors de preuves papier ou de calcul de valeur concrètes. Par ailleurs, les assistants de preuve sont un bon outil pour réaliser une vérification mécanique de ce genre de preuves et obtenir un très haut niveau de confiance dans leurs résultats. Nous formalisons donc avec un tel outil les notions et propriétés fondamentales de la théorie du Calcul Réseau. Ces résultats font intervenir des propriétés sur les nombres réels, tel que des bornes supérieures et des limites de fonctions linéaires donc nous souhaitons utiliser un outil de formalisation capable d'implémenter untel niveau mathématique. Nous utilisons l'assistant de preuve Coq. Il s'agit d'un outil disposant déjà d'un long développement dont la librairie Mathematical Components qui permet de formaliser de l'analyse sur les nombres réels et la construction de structures algébriques comme celles utilisées dans le Calcul Réseau. Le calcul de valeurs effective repose sur des opérations de l'algèbre min-plus sur des fonctions réelles. Des algorithmes sur des sous-ensembles spécifiques peuvent être trouvés dans la littérature [3]. De tels algorithmes et leurs implémentations sont toutefois compliqués. Plutôt que de développer une preuve de la bonne implémentation de ces algorithmes, nous prenons une implémentation existante comme Oracle et nous donnons des critères de vérifications en Coq.[1] Anne Bouillard, Marc Boyer et Euriell Le Corronc. DeterministicNetwork Calculus : From Theory to Practical Implementation. John Wiley& Sons, Ltd, oct. 2018[2] Assia Mahboubi et Enrico Tassi. Mathematical Components. Zenodo,jan. 2021[3] Anne Bouillard et Eric Thierry. « An Algorithmic Toolbox forNetwork Calculus ». In : Discret. Event Dyn. Syst. 18.1 (2008),p. 3-49.

L’objectif de ce travail est d’étudier l’influence de la compressibilité sur la dynamique du sillage du cylindre circulaire et du profil NACA0012, à faibles nombres de Reynolds. L’attention est portée en particulier sur le développement des instabilités primaires et secondaires à l’origine de la transition de l’écoulement d’un état bidimensionnel stationnaire vers un état tridimensionnel instationnaire. Le développement d’un code basé sur l’algorithme de Krylov–Schur combiné à une approche itérative en temps est réalisé pour conduire l’analyse de stabilité modale globale. La première partie est focalisée sur l’instabilité primaire à l’origine de la bifurcation du sillage du profil NACA0012 d’un état bidimensionnel stationnaire vers un état bidimensionnel instationnaire. Cet écoulement instationnaire est caractérisé à l’aide de simulations numériques directes pour différents nombres de Reynolds Re ∈ [200; 1000] et pour différents angles d’incidence α ∈ [0◦; 20◦]. L’écoulement de base stationnaire nécessaire à l’analyse de stabilité est obtenu à l’aide de la technique de SelectiveFrequency Damping (SFD). L’influence de l’angle d’incidence et du nombre de Reynolds sur les caractéristiques du mode le plus amplifié est d’abord étudiée dans le régime incompressible, révélant dans les deux cas une évolution non-monotone du taux de croissance dont le maximum est atteint pour unα et Re donné. L’influence de la compressibilité est ensuite explorée en régime compressible pour des nombres de Mach jusqu’à M∞ = 0.5. Celle-ci produit un effet stabilisant ou déstabilisant sur le mode qui dépend de l’angle d’incidence et du nombre de Reynolds. Pour α < 20◦, la compressibilité a un effet déstabilisant près du seuil critique, qui se traduit par une bifurcation de Hopf plus précoce, tandis que l’augmentation du nombre de Mach entraîne toujours une diminution du taux de croissance du mode lorsqu’on s’éloigne du seuil critique. Enfin, la fréquence du mode diminue avec le nombre de Mach. La deuxième partie est consacrée aux instabilités secondaires tridimensionnelles qui se développent dans le sillage bidimensionnel instationnaire. Dans ce cas, l’analyse de stabilité est conduite sur un écoulement de base instationnaire obtenu par des simulations numériques directes sans la SFD. Le développement des modes A et B responsables de la transition du cylindre circulaire vers un état tridimensionnel est d’abord étudié pour des nombres de Reynolds jusqu’à Re = 350. La compressibilité a un effet stabilisant sur les deux modes à proximité des seuils critiques, retardant le processus de tridimensionnalisation, mais ne modifie pas les longueurs d’onde des modes instables. En revanche, au-dessus des seuils critiques, seul le taux de croissance du mode B décroît avec le nombre de Mach,tandis que la plage des longueurs d’onde instables du mode A se déplace vers des valeurs plus faibles. La réponse à l’augmentation du nombre de Mach des instabilités secondaires 3D se développant dans le sillage instationnaire à l’aval d’un profil NACA0012 est étudiée dans un second temps.

Depuis le début de la conquête spatiale démarrée en octobre 1957 avec le lancement du satellite Spoutnik-1 par l’ex-URSS, le nombre de satellites envoyés dans l’espace n’a cessé d’augmenter. Cependant, l’environnement spatial terrestre est un milieu hostile pour les satellites artificiels et leurs composants, en particulier à cause des ceintures de radiations peuplées de protons et d’électrons énergétiques. Le département DPHY de l’ONERA étudie les ceintures de radiations et développe des modèles afin de les modéliser, étudie leurs effets sur les équipements des satellites, et conçoit des moniteurs de radiations afin de disposer de mesures in-situ. Des modèles sont disponibles pour connaître l’énergie, le type et la localisation des particules dans les ceintures de radiations. Ils sont créés à partir des mesures faites par les moniteurs de radiations. Cependant, très peu de mesures de protons de faibles énergies (de quelques MeV) sont disponibles. Par ailleurs, les moniteurs de radiations mesurant plusieurs types de particules sur une grande gamme en énergie sont massifs et volumineux, et non adaptés pour être embarqués sur des petits satellites tels que les Cubesats. Les objectifs de cette thèse sont donc de développer une tête de détection capable de mesurer les protons de quelques MeV, et un moniteur de radiations miniaturisé pour mesurer simultanément l’énergie incidente des protons et des électrons. La première partie de cette thèse a été consacrée au développement de la tête de détection de protons de basses énergies compatible avec le moniteur ICARE-NG. La bonne mesure des protons de quelques MeV dépend de la capacité de la tête de détection à limiter la contribution des protons énergétiques et des électrons. Dans ce but, le blindage de la tête est constitué d’une structure sandwich Al-W-Al. Des aimants sont utilisés à l’entrée de la tête de détection afin de dévier les électrons, et le diamètre des diodes est optimisé pour réduire la contribution des protons énergétiques et des électrons. L’analyse des comptages prédits à l’aide des modèles AE-8 et AP-8 montre que l’électronique ne subira pas de saturation et que les protons de basses énergies seront correctement mesurés pour de grandes régions dans les ceintures de radiations. Enfin, le modèle d’essai de la tête de détection est fabriqué, et le modèle de vol sera embarqué sur deux satellites fabriqués par Airbus-DS début 2021. La deuxième partie de la thèse a été consacrée au développement de la tête de détection miniaturisée basée sur l’utilisation du Timepix. L’utilisation de la puce Timepix couplée à un blindage différentiel, ou bien dans un spectromètre magnétique n’ont pas été concluantes. Le traitement des données acquises par le Timepix à l’aide des réseaux de neurones à convolution est quant à lui intéressant et prometteur. Les réseaux de neurones à convolution développés durant cette thèse permettent de discriminer les protons et les électrons d’une part, et de déduire leur énergie incidente afin d’établir des gammes en énergie d’autre part. Ces réseaux sont entraînés sur des données simulées à l’aide de GEANT4, et leur application sur des données réelles acquises par l’instrument SATRAM présent sur le satellite Proba-V depuis 2013 mène à de meilleurs résultats que ceux obtenus jusqu’alors à l’aide d’autres méthodes. Ils permettent de discriminer correctement dans 95 % des cas les protons et les électrons, et d’établir des gammes en énergie proches de celles obtenues avec d’autres moniteurs de radiations, et ce avec un instrument de 380 grammes.

Lors de la certification des moteurs d’avion, certains composants sont testés vis-à-vis de phénomènes balistiques. La soufflante doit ainsi résister à l’ingestion d’oiseaux et à la perte d’aubes sans compromettre les performances globales du réacteur. Les aubes de soufflante, et particulièrement leur bord d’attaque, subissent des déformations élevées à grande vitesse, des chargements non proportionnels et un auto-échauffement induit parla dissipation plastique. Compte tenu de leurs bonnes propriétés mécaniques spécifiques,les alliages de titane Ti-6Al-4V sont considérés comme des candidats prometteurs pour le bord d’attaque d’aubes de soufflante multi-composants. Dans ce travail, une campagne expérimentale a été menée sur un alliage de Ti-6Al-4V laminé comprenant des essais de traction, compression et cisaillement à plusieurs températures et vitesses de déformation(lentes et rapides), sous des trajets de chargements monotones et alternés. A partir des résultats obtenus, un modèle constitutif a été développé rendant compte des effets combinés de l’orthotropie, de l’asymétrie traction-compression, des écrouissages cinématique et isotrope non linéaires, de la vitesse et de l’adoucissement thermique. Les constantes ont été identifiées au moyen du logiciel Zset. Le modèle a ensuite été implémenté entant que procédure matériau utilisateur (Fortran) dans le code de calculs commercial par élément finis LS-DYNA. Les performances du modèle numérique ont alors été évaluées en menant des simulations numériques sur un élément de volume soumis à différents trajets de chargement ainsi que sur des éprouvettes utilisées pour la campagne expérimentale.

L’objectif de cette thèse était le développement de modèles SET (Single Event Transient) et TID (Total Ionizing Dose) pour les MOSFETs de technologies fortement intégrées, reposant notamment sur la technologie SOI. Ces modèles devaient respecter les standards de la modélisation compacte afin d’assurer leur utilisation dans les simulateurs de circuits SPICE (ELDO, SPECTRE, PSPICE …) tout en assurant la justesse du contenu physique. Le langage d’implémentation est alors le Verilog-A. En 1A, l’investigation physique des SET a été effectuée à l’aide de simulations TCAD. Cette tâche a supporté le développement d’un premier modèle physique SET (validé par la TCAD) adapté aux technologies BULK.En 2A, le modèle physique a été rendu compact et implémenté en Verilog-A. Ce travail a nécessité le développement d’une méthode d’implémentation faisant appel à la considération d’un circuit électrique équivalent au phénomène SET. Le modèle ainsi implémenté en SPICE a été capable de prédire l’occurrence de SEUs (Single Event Upset) dans les mémoires et des erreurs plus fonctionnelles dans les registres à décalage. En parallèle, l’investigation physique du TID a été effectuée à l’aide simulations TCAD. Par ailleurs, les effets TID ont été modélisés et implémentés dans le modèle standard compact LETI – UTSOI décrivant le fonctionnement des transistors FDSOI. Le modèle a été validé à l’aide de simulations TCAD et a été utilisé pour extraire les paramètres TID sur des MOSFETs FDSOI irradiés au CEA/DAM.En 3A, un modèle compact SET pour technologies fortement intégrées (reposant sur la technologie SOI) a été développé. Ce modèle prend en compte l’amplification bipolaire inhérente à ce type de structure ainsi que la morphologie 3D de la charge générée par la particule ionisante. Des validations TCAD de ce modèle ont été effectuées. Par ailleurs, ce modèle SET a été interfacé avec le simulateur multi-physiques MUSCA SEP3 afin d’estimer le risque SEE sur des matrices mémoires FDSOI. L’apport du modèle SET a été mis en évidence dans la fiabilité de cette estimation.

Afin de simplifier la gestion des ressources humaines et de réduire les coûts d’exploitation, certaines tours de contrôle sont désormais conçues pour ne pas être implantées directement sur l’aéroport. Ce concept, connu sous le nom de tour de contrôle distante (remote tower), offre un contexte de travail “digital” : la vue sur les pistes est diffusée via des caméras situées sur le terrain distant. Ce concept pourrait également être étendu au contrôle simultanés de plusieurs aéroports à partir d’une seule salle de contrôle, par un contrôleur seul (tour de contrôle distante multiple). Ces notions nouvelles offrent aux concepteurs la possibilité de développer des formes d’interaction novatrices. Cependant, la plupart des augmentations actuelles reposent sur la vue, qui est largement utilisée et, par conséquent, parfois surchargée.Nous nous sommes ainsi concentrés sur la conception et l’évaluation de nouvelles techniques d’interaction faisant appel aux sens non visuels, plus particulièrement l’ouïe, le toucher et la proprioception. Deux campagnes expérimentales ont été menées. Durant les processus de conception, nous avons identifié, avec l’aide d’experts du domaine, certaines situations pertinentes pour les contrôleurs aériens en raison de leur criticité: a) la mauvaise visibilité (brouillard épais,perte de signal vidéo), b) les mouvements non autorisés au sol (lorsque les pilotes déplacent leur appareil sans y avoir été préalablement autorisés), c) l’incursion de piste (lorsqu’un avion traverse le point d’attente afin d’entrer sur la piste alors qu’un autre, simultanément, s’apprête à atterrir) et d) le cas des communications radio simultanées provenant de plusieurs aéroports distants. La première campagne expérimentale visait à quantifier la contribution d’une technique d’interaction basée sur le son spatial, l’interaction kinesthésique et des stimuli vibrotactiles, afin de proposer une solution au cas de perte de visibilité sur le terrain contrôlé. L’objectif était d’améliorer la perception de contrôleurs et d’accroître le niveau général de sécurité, en leur offrant un moyen différent pour localiser les appareils. 22 contrôleurs ont été impliqués dans une tâche de laboratoire en environnement simulé. Des résultats objectifs et subjectifs ont montré une précision significativement plus élevée en cas de visibilité dégradée lorsque la modalité d’interaction testée était activée. Parallèlement, les temps de réponse étaient significativement plus longs relativement courts par rapport à la temporalité de la tâche. L’objectif de la seconde campagne expérimentale, quant à elle, était d’évaluer 3 autres modalités d’interaction visant à proposer des solutions à 3 autres situations critiques : les mouvements non autorisés au sol,les incursions de piste et les appels provenant d’un aéroport secondaire contrôlé. Le son spatial interactif, la stimulation tactile et les mouvements du corps ont été pris en compte pour la conception de 3 autres techniques interactives. 16contrôleurs aériens ont participé à une expérience écologique dans laquelle ils ont contrôlé 1 ou 2 aéroport(s), avec ou sans augmentation. Les résultats comportementaux ont montré une augmentation significative de la performance globale des participants lorsque les modalités d’augmentation étaient activées pour un seul aéroport. La première campagne a été la première étape dans le développement d’une nouvelle technique d’interaction qui utilise le son interactif comme moyen de localisation lorsque la vue seule ne suffit pas. Ces deux campagnes ont constitué les premières étapes de la prise en compte des augmentations multimodales non visuelles dans les contextes des tours de contrôles déportées Simples et Multiples.

L’évaluation des performances des procédures de Contrôle Non Destructifs (CND) en aéronautique est une étape clé dans l’établissement du dossier de certification de l’avion. Une telle démonstration de performances est faite à travers l’établissement de probabilités de détection (Probability Of Detection – POD), qui intègrent l’ensemble des facteurs influents et sources d’incertitudes inhérents à la mise en œuvre de la procédure. Ces études, basées sur des estimations statistiques faites sur un ensemble représentatif d’échantillons, reposent sur la réalisation d’un grand nombre d’essais expérimentaux (un minimum de 60 échantillons contenant des défauts de différentes tailles, qui doivent être inspectés par au moins 3 opérateurs [1]), afin de recueillir un échantillon suffisant pour une estimation statistique pertinente. Le coût financier associé est élevé, parfois prohibitif, et correspond majoritairement à la mise en œuvre des maquettes servant aux essais. Des travaux récents [2-5] ont fait émerger une approche de détermination de courbes POD utilisant la simulation des CND, notamment avec le logiciel CIVA. L’approche, dite de propagation d’incertitudes, consiste à : - Définir une configuration nominale d’inspection, - Identifier l’ensemble des paramètres influents susceptibles de varier dans l’application de la procédure, - Caractériser les incertitudes liées à ces paramètres par des lois de probabilités, - Réaliser un grand nombre de simulations par tirage aléatoire des valeurs prises par les paramètres variables selon les lois de probabilités définies. Le résultat de cet ensemble de simulations constitue enfin la base de données utilisée pour l’estimation des POD. Cette approche réduit de façon très importante les coûts d’obtention des POD mais est encore aujourd’hui sujette à discussions sur sa robustesse vis-à-vis des données d’entrée (les lois de probabilité des paramètres incertains) et sur la prise en compte des facteurs humains. L’objectif de cette thèse est de valider cette approche sur des cas d’application AIRBUS et d’en améliorer la robustesse afin de la rendre couramment utilisable au niveau industriel, notamment en la faisant accepter par les autorités de vol (FAA et EASA). Pour ce faire le thésard devra mener des campagnes de validations des codes de simulation des CND, mettre en œuvre la méthodologie décrite plus haut sur les cas d’application AIRBUS, puis proposer et mettre en œuvre des stratégies d’amélioration de la robustesse de la méthode vis-à-vis des données d’entrée et des facteurs liés à l’humain.

L’électronique embarquée dans l’aéronautique, couramment appelé avionique, est chargée d’effectuer des tâches critiques et doit présenter une fiabilité élevée. La technologie Complementary Metal Oxyde Semiconductor (CMOS) est couramment utilisée pour réaliser des composants critiques, comme des mémoires. Les composants CMOS sont susceptibles à deux types d’erreurs : les dégradations liées au vieillissement et les évènements singuliers causés par les particules cosmiques. Or, les conditions d’utilisation de l’avionique renforcent la fréquence d’occurrence de ces deux types d’erreurs. Le vieillissement consiste, pour les composants CMOS, en la dégradation de ses interfaces métal/oxyde et oxyde/semi-conducteur au cours de sa durée de vie. Les composants avioniques subissent un vieillissement accéléré de par leur condition d’utilisation intensive. Le rayonnement cosmique est composé de particules énergétiques d’origine extrasolaire. Certaines de ces particules sont susceptibles d’interagir un composant électronique et d’y déposer de l’énergie, cela peut causer une erreur appelée évènement singulier. L’avionique est particulièrement concernée par cette problématique car ces évènements peuvent être critiques et qu’elle rencontre un flux élevé de particules.Auparavant, la sensibilité aux radiations était considérée comme indépendante du vieillissement. Seulement, les évolutions des technologies CMOS nous amènent à remettre en cause cette hypothèse. Afin d’étudier ce nouveau phénomène, une méthode de modélisation a été développée. Celle-ci couple la modélisation des évènements singuliers à une modélisation électrique circuit du vieillissement. Elle permet d’effectuer des simulations sur un circuit mémoire spécifique dans des environnements radiatifs variés. De ces simulations ressortent l’influence de certains paramètres électriques, qui permettent de proposer une simulation opérationnelle appliquée à l’avionique.