Procédé d’identification d’un satellite défaillant parmi un ensemble de satellites S 1 ,…,S N à partir de pseudo-distances (PR) entre un mobile (AC) et les satellites S 1 ,…,S N , le procédé comprenant, suite à une détection (S200) d’une panne satellite (FLT), des étapes de : pour chaque satellite S i de l’ensemble de satellites S 1 ,…,S N : obtention (S310) d’un ensemble P i de positions du mobile (AC), chaque position p i,j étant déterminée à partir des pseudo-distances (PR) associées aux satellites S 1 ,…,S N en excluant : le satellite S i ; et au moins un autre satellite S j différent pour chaque position p i,j ; détermination (S320) d’un indicateur de dispersion σ i des positions de l’ensemble P i ; et identification (S330) du satellite défaillant parmi l’ensemble de satellites S 1 ,…,S N en fonction des indicateurs de dispersion σ 1 ,…,σ N . Procédé selon la revendication 1, dans lequel l’étape de détermination (S320) de l’indicateur de dispersion σ i comprend des étapes de : détermination (S321) d’une position moyenne à partir des positions de l’ensemble P i ; détermination (S322) d’un ensemble D i de distances entre les positions de l’ensemble P i et la position moyenne ; et détermination (S323) de l’indicateur de dispersion σ i à partir de l’ensemble D i , l’indicateur de dispersion σ i étant égal à un écart-type des distances de l’ensemble D i . Procédé selon la revendication 1 ou 2, dans lequel chaque ensemble de positions P i comprend N-1 positions du mobile (AC), et chaque position p i,j de l’ensemble P i est déterminée (S310) à partir des pseudo-distances (PR) associées aux satellites S 1 ,…,S N en excluant : le satellite S i ; et un autre satellite S j différent pour chaque position p i,j . Procédé selon la revendication 3, comprenant pour chaque satellite S i de l’ensemble de satellites S 1 ,…,S N , et pour chaque satellite S j de l’ensemble de satellites S 1 ,…,S N avec j>i : une détermination d’une position du mobile (AC) à partir des pseudo-distances (PR) associées aux satellites S 1 ,…,S N en excluant le satellite S i et le satellite S j , la position déterminée étant utilisée pour obtenir (S310) la position p i ,j de l’ensemble P i et la position p j,i de l’ensemble P j . Procédé selon l’une quelconque des revendications 1 à 4, comprenant en outre une étape de détection (S200) de la panne satellite (FLT), l’étape de détection (S200) comprenant des étapes de : obtention (S210) d’un ensemble P de positions du mobile (AC), chaque position p i étant déterminée à partir des pseudo-distances associées aux satellites S 1 ,…,S N en excluant un satellite S i différent pour chaque position p i ; détermination (S220) d’un indicateur de dispersion σ des positions de l’ensemble P ; et détection (S230) de la panne satellite (FLT) en fonction de l’indicateur de dispersion σ. Procédé selon la revendication 5, dans lequel l’étape de détermination (S220) de l’indicateur de dispersion σ comprend des étapes de : détermination (S221) d’une position moyenne à partir des positions de l’ensemble P ; détermination (S222) d’un ensemble D de distances entre les positions de l’ensemble P et la position moyenne ; et détermination (S223) de l’indicateur de dispersion σ à partir de l’ensemble D, l’indicateur de dispersion σ étant égal à un écart-type des distances de l’ensemble D. Procédé selon la revendication 5 ou 6, comprenant plusieurs itérations k 1 ,…,k M de l’étape de détection (S200), les itérations k 1 ,…,k M étant mises en œuvre pour des pseudo-distances (PR) acquises à des instants différents, et dans lequel la panne satellite (FLT) est détectée (S230) lors de l’itération k M si : l’indicateur de dispersion σ de l’itération k M est supérieur à un seuil ; et si une variation Δσ de l’indicateur de dispersion σ au cours des itérations k 1 ,…,k M est supérieure à un autre seuil. Procédé selon l’une quelconque des revendications 1 à 7, dans lequel les positions du mobile (AC) sont déterminées (S210, S310) en utilisant un algorithme de Bancroft. Dispositif (APP) d’identification d’un satellite défaillant parmi un ensemble de satellites S 1 ,…,S N à partir de pseudo-distances (PR) entre un mobile (AC) et les satellites S 1 ,…,S N , le dispositif (APP) comprenant un module d’identification (ID) configuré pour, suite à une détection (S200) d’une panne satellite (FLT) : pour chaque satellite S i de l’ensemble de satellites S 1 ,…,S N : obtenir (S310) un ensemble P i de positions du mobile (AC), chaque position p i,j étant déterminée à partir des pseudo-distances (PR) associées aux satellites S 1 ,…,S N en excluant : le satellite S i ; et au moins un autre satellite S j différent pour chaque position p i,j ; déterminer (S320) un indicateur de dispersion σ i des positions de l’ensemble P i ; et identifier (S330) le satellite défaillant parmi l’ensemble de satellites S 1 ,…,S N en fonction des indicateurs de dispersion σ 1 ,…,σ N . Système de navigation (SYS) destiné à être embarqué dans un mobile (AC) comprenant : un récepteur (RX) de positionnement par satellites configuré pour fournir des pseudo-distances entre le mobile (AC) et un ensemble de satellites ; et un dispositif (APP) selon la revendication 9. Engin mobile (AC) comprenant un système de navigation (SYS) selon la revendication 10. Programme d’ordinateur (PROG) comprenant des instructions pour mettre en œuvre les étapes d’un procédé selon l’une quelconque des revendications 1 à 8, lorsque ledit programme d’ordinateur (PROG) est exécuté par au moins un processeur (PROC).