Devices for tucking ends of laces inside shoes or boots; Devices for lacing