Construction of the Paris metro