La rotonda di Pantigliate non doveva essere riaperta in estate?