Obras de construcción del «espai veïnal» del mercado de Sant Antoni, del distrito del Eixample de Barcelona