Pierre Dervaux — French operatic conductor, composer, and pedagogue (1917–1992)