https://123dok.net/document/zpn138n0-exercices-de-déduction-naturelle-corrections.html