Définitionsévidée