} if(space == null) { throw new DomainException("error.extensionSpaceOccupation.no.space"); }
}
    private void checkParameters(Extension extension, YearMonthDay begin, YearMonthDay end, Space space) {        if(extension == null) {            throw new DomainException("error.extensionSpaceOccupation.no.extension");        }          if(space == null) {            throw new DomainException("error.extensionSpaceOccupation.no.space");        }          if(begin == null) {            throw new DomainException("error.extensionSpaceOccupation.no.beginDate");        }                        }