Obres de construcció de l’espai veïnal del mercat de Sant Antoni, del districte de l’Eixample de Barcelona