Local etale extensions and normalizations

Full text