let
gb_width = gr_unit *
Glob
.nb_col