beremiz

beremiz/util/
merged Andrey's default

2018-08-08, Edouard Tisserant
53f3eb5c47f7