Définitionsherculéenne