[Observe-commits] 03/03: fixes #7147: Mise à jour librairies Merge branch 'feature/7147' into develop