[Tutti-commits] 03/07: ajout de l'onglet d'édition des zone (refs #7929)