det populärare namnet Diavolo , kanske efter hjelten i Aubers bekanta operett.