Définitionsconducibilité