Points de vue sur Déduction