Diavolo , opera-comique i 3 akter.