Diavolo , opera-comique i 5 akter.