Définitionséliminatrice