2.3 Les outils de déduction