vernier [pl. verniers]