beremiz

beremiz/util/
merged

2021-10-26, Edouard Tisserant
78add3f69e39