La gestion du trafic ferroviaire s’effectue par choix de routage et d'ordonnancement des trains qui minimisent la propagation de retards en cas de perturbation. Dans cet article, nous proposons des inégalités valides et des choix algorithmiques permettant d’améliorer les performances d'une formulation de programmation linéaire en nombres entiers pour la gestion du trafic ferroviaire. Dans l'analyse expérimentale, nous montrons que ces propositions améliorent effectivement les temps de calcul pour résoudre de manière exacte les instances représentatives du trafic dans une jonction française complexe: la gare Lille-Flandres.