Definition of JUS GENTIUM.