Sémantique des preuves et des programmes et formalisation des mathématiques