[Observe-commits] 01/01: Petites mises au point sur le widget positions(fixes #8964)