Определение размера обуви: что означает 23.5?