Définitionséquivaleur