「デシリットル」とは何だったのか