Krátká vydupávka k petřínské rozhledně