DERIO: gentilicio d derio