The Premiere of Darius Milhaud's Opera David