Michel Parigot:
Can we transform formal proofs into interesting mathematical objects? 

ABSTRACT STIIL TO BE FINALIZED