[Observe-commits] 04/04: Merge sur develop (termine #7498)