Le diable au moulin; Opéra-comique en un acte