* h_visualization/opengl.ml: esthet