Fiesta popular del picapedrero: se realizarán diversas actividades en diferentes puntos de la ciudad