Webots world, webots controller and extern controller