Le ciel européen est surchargé ; le contrôle aérien (ATC) est dépassé par la demande et les conséquences sont graves aussi bien pour les compagnies aériennes que pour les passagers. L'organisme européen de régulation du trafic (CFMU) qui est chargé d'allouer les créneaux de départs des vols afin de respecter les charges admissibles des centres de contrôles en route (ATCC) n'est pas en mesure actuellement de produire des solutions satisfaisantes tout en considérant uniquement une approximation des contraintes de charge. Nous présentons dans cet article des nouvelles modélisations de la capacité horaire pour réguler la charge de travail réelle du contrôleur sans prendre pour objectif premier la diminution des retards. Nous proposons un raffinement du modèle actuel et suggérons une solution originale utilisant une contrainte de tri. Nous établissons des équivalences entre ces modèles tout en montrant la supériorité de la solution continue avec tri pour les preuves d'échec et/ou d'optimalité. Les différents comportements des modèles sont mis en évidence sur des données réelles du trafic aérien français.
