symbole d’équivalence