How to save time buying Metro tickets at Gare du Nord, Paris