symbole d'équivalence