Carlo Azeglio Ciampi, martire della toponomastica capitolina.