Le Trompeur trompé , opera comique.