Définitionsdiminuant