Dans cette th`ese, nous proposons l'´etude d'un nouveau syst`eme de trafic a´erien, caract´eris´e par un tr`es haut degr´e d'organisation. Dans ce syst`eme, les avions sont assujettis `a suivre des points mobiles fictifs durant leur trajet. Ces points mobiles sont organis´es et s´equenc´es de fa¸con `a ´eviter les conflits entre avions, notamment lorsque ces derniers convergent vers une mˆeme intersection. Cette th`ese propose la mod´elisation d'un probl`eme sous-jacent `a ce paradigme. Ce probl`eme peut ˆetre vu comme la recherche d'un stable dans un graphe infini sous certaines contraintes. Apr`es une ´etude th´eorique de ce probl`eme, nous proposons une heuristique de r´esolution, amenant `a pr´esenter un syst`eme global de trafic a´erien, puis nous exposons des r´esultats num´eriques.