Ce terme a été utilisé quand pour désigner le continent ?