@jextxadore Sounds like not much has changed since the last time I used the Paris Metro/RER 36 years ago.
// @matigo
Searching