Casa dell'acqua a Porto Torres: il distributore self service nella piazza della Ranaredda