Miring, (se mire), nivellering ved hjælp af mirer.