SVGHMI: gui.svg -> svghmi.svg
svghmi
2019-09-19, Edouard Tisserant