John Grierson (1898-1972) pioneer of the documentary film [full inscription unknown]