La “Comedie” musicale.