[Observe-commits] 06/08: correction du decorateur de referencedto pour le cas où des tokens sont des referencedtos (refs #7610)