Applied geophysics in Brazil and the development of a national oil industry (1930 - 1960). (2nd January 2020)