let gb_height = gr_unit * Glob.nb_lig