Grève à Paris : mais pourquoi toutes les lignes de métro ne sont-elles pas automatiques ?