Gaudí, El musical de Barcelona