! News: - Avis de Soutenance de Monsieur Thomas Traversié: " Tanslations of Proofs between Higher-Order Logics and between Theories with Rewriting"