Definition:Micrometre