remplacement == par ≡ dans le menu