[Observe-commits] 01/01: Correction de la décoration d'un programme (Fixes #7833)