El parque de Petrin es el pulmón verde de la ciudad, Praga