Artist credit “Chœurs du Théâtre National de l’Opéra‐Comique, Jacques Mars, Janine Micheau, Orchestre du Théâtre National de l’Opéra‐Comique, Pierre Dervaux”