[Observe-commits] 15/19: Ajout migration manquante (See #7542)