Éditeur de poutres : Éditer section

Dans l'éditeur de poutres, l'option ‘Éditer section’ a été ajoutée, ce qui permet de modifier les dimensions des différents tronçons du portique sans devoir quitter le panneau d'édition.