Le Docteur Ox (opéra bouffe)