Exploitation automatisée des services de métro. Aujourd'hui une option, demain une obligation.