déduction informelle