Letters from E. Chavalley.