Définitionsinductile