Définitionsexpérimentable