i Norges grundlov af den 4 nov.