. "Le muletier des Andes" . . . "United States premiere" . . .