Définitionsinductible