Aggregazione dell'Osservatorio astronomico di Roma (Monte Porzio) all'Osservatorio astronomico di Roma (Monte Mario).