Toxicology of substances in relation to major hazards : hydrogen fluoride