Définitionsdispendieuse