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