[Observe-commits] 06/06: Migration des Editeurs (termine #7530) Merge branch 'feature/7530' into develop