[Observe-commits] 01/10: ajout d'une annotation oubliée