Atteindre la définition' a échoué, car le signe insertion figure déjà dans la définition ou une définition explicite est ...