Galeria de Paris reopens: seven months of work, historic pattern, pedestrians first