Procédé d’aide au vol en formation d’aéronefs, le procédé étant implémenté par un système sous forme de circuiterie électronique embarquée dans un aéronef agissant comme aéronef suiveur, le procédé comportant les étapes suivantes : - obtention d’informations relatives à un aéronef meneur générant un tourbillon de sillage induisant un flux d’air ascendant dont le système vise à faire bénéficier l’aéronef suiveur ; - détermination d’un effet du tourbillon de sillage subi par l’aéronef suiveur comme une différence entre mesures, effectuées par des capteurs de l’aéronef suiveur, et une modélisation de l’aéronef suiveur en environnement libre de tourbillon de sillage ; - à l’aide d’un filtre bayésien récursif, détermination d’une position estimée du tourbillon de sillage à partir des informations relatives à l’aéronef meneur obtenues et d’un modèle de tourbillon de sillage, et détermination d’une incertitude d’estimation sur la position estimée du tourbillon de sillage par comparaison de l’effet du tourbillon de sillage subi par l’aéronef suiveur et d’un effet théorique du tourbillon de sillage sur l’aéronef suiveur d’après le modèle de tourbillon de sillage; - détermination d’une fenêtre d’inconfort potentiel autour de la position estimée du tourbillon de sillage, en fonction de l’incertitude d’estimation sur la position estimée du tourbillon de sillage ; et - définition et application d’une trajectoire d’approche du tourbillon de sillage et maintien de l’aéronef suiveur en dehors de la fenêtre d’inconfort potentiel, en contrôlant un placement de l’aéronef suiveur à une distance prédéfinie de la position estimée du tourbillon de sillage lorsque la fenêtre d’inconfort potentiel a des dimensions qui le permettent, et à une marge prédéfinie de la fenêtre d’inconfort potentiel sinon. Procédé selon la revendication 1, dans lequel le filtre de type bayésien récursif est un filtre particulaire. Procédé selon la revendication 2, dans lequel la détermination de la position estimée du tourbillon de sillage et de la fenêtre d’inconfort potentiel est effectuée de la manière suivante : - détermination, pour chaque position potentielle parmi un ensemble de positions potentielles déterminé à partir de la position géométrique de tourbillon de sillage déterminée, d’une valeur de probabilité de présence du tourbillon de sillage à ladite position potentielle, la valeur de probabilité en question étant déterminée par comparaison de l’effet du tourbillon de sillage subi par l’aéronef suiveur et d’un effet théorique du tourbillon de sillage sur l’aéronef suiveur d’après le modèle de tourbillon de sillage lorsque le tourbillon de sillage est localisé à ladite position potentielle ; - former la fenêtre d’inconfort potentiel par regroupement de positions potentielles du tourbillon de sillage ayant une valeur de probabilité supérieure à un premier seuil prédéterminé. Procédé selon l’une quelconque des revendications 1 à 3, dans lequel, lorsque le système détecte que la fenêtre d’inconfort potentiel a des dimensions qui permettent le placement de l’aéronef suiveur à ladite distance prédéfinie de la position estimée du tourbillon de sillage, le système commande à l’aéronef suiveur d’effectuer des mouvements à facteur de charge inférieur à un deuxième seuil prédéterminé. Procédé selon la revendication 4, dans lequel les mouvements en question sont préférentiellement des mouvements oscillatoires ou pseudo-oscillatoires verticaux. Produit programme d’ordinateur comportant des instructions causant une implémentation du procédé selon l’une quelconque des revendications 1 à 5, lorsque les instructions sont exécutées par un processeur. Support de stockage d’informations stockant des instructions causant une implémentation du procédé selon l’une quelconque des revendications 1 à 5, lorsque les instructions sont lues depuis le support de stockage d’informations et exécutées par un processeur. Système d’aide au vol en formation d’aéronefs, sous forme de circuiterie électronique embarquée dans un aéronef destiné à agir comme aéronef suiveur dans le vol en formation, la circuiterie électronique étant configurée pour implémenter : - un module d’obtention d’informations relatives à un aéronef meneur générant un tourbillon de sillage induisant un flux d’air ascendant dont le système vise à faire bénéficier l’aéronef suiveur ; - un module de détermination d’un effet du tourbillon de sillage subi par l’aéronef suiveur comme une différence entre mesures, effectuées par des capteurs de l’aéronef suiveur, et une modélisation de l’aéronef suiveur en environnement libre de tourbillon de sillage ; - à l’aide d’un filtre bayésien récursif, un module de détermination d’une position estimée du tourbillon de sillage à partir des informations relatives à l’aéronef meneur obtenues et d’un modèle de tourbillon de sillage, et de détermination d’une incertitude d’estimation sur la position estimée du tourbillon de sillage par comparaison de l’effet du tourbillon de sillage subi par l’aéronef suiveur et d’un effet théorique du tourbillon de sillage sur l’aéronef suiveur d’après le modèle de tourbillon de sillage ; - un module de détermination d’une fenêtre d’inconfort potentiel autour de la position estimée du tourbillon de sillage, en fonction de l’incertitude d’estimation sur la position estimée du tourbillon de sillage ; et - des modules de définition et d’application d’une trajectoire d’approche du tourbillon de sillage et maintien de l’aéronef suiveur en dehors de la fenêtre d’inconfort potentiel, en contrôlant un placement de l’aéronef suiveur à une distance prédéfinie de la position estimée du tourbillon de sillage lorsque la fenêtre d’inconfort potentiel a des dimensions qui le permettent et à une marge prédéfinie de la fenêtre d’inconfort potentiel sinon. Aéronef agissant comme aéronef suiveur dans un vol en formation, qui comporte un système d’aide au vol en formation selon la revendication 8.