trigo01 impose ≈ même en cas d'égalité stricte

Sur https://commun.sesamath.net/public/voir/6011ce353cf12a07e775fe97 (section trigo01) la section impose le symbole ≈ même si ça tombe juste.