发现déduction