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