Longueur des lignes de chemin de fer équipées du système de gestion du trafic ferroviaire (ERTMS)