Paris metro: going underground