Definition of DOMICIL