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