(20488) Pic-du-Midi