Porte de Pantin Metro station in Paris