Définitionseffirule