[Tutti-commits] 01/01: Remise à plat de l'éditeur de zone qui ne fonctionne pas bien du tout