Pluto již není planetou, z astronomie však nemizí