Ajouté par Patrick Baillot il y a plus de 9 ans
Proof of free-cut elimination is in progress...
Voir les différences