[SystemSafety] underground trains without drivers

[Julia Lawall]

I have the impression that most modern metros are driverless.  That is the
case of Rennes (around 10 years old), Copenhagen (around 5 years old), and
line 14 in Paris.  I'm not sure about Lille and Toulouse.

julia