Premier/e “Panama Hattie” avec Ethel Merman sur des musiques et parole de Cole Porter