Définitionsplanète extragalactique