https://1library.org/document/y8gom5m5-vista-do-prouver-approche-inférentielle-compacité-logique-propositionnelle.html