Définitionsopérante