add_wall_width.Rd
add width to data.frame of walls
add_wall_width(wall)
data.frame of walls characteristics, supposed to be well ordered.
data.frame of walls characteristics, with new column width