Hugo Herbelin (researcher at Inria and the IRIF) talks about “And what if mathematical proofs were nothing other than programmes” as part of the “Proofs and programmes” conference. He himself coordinated the organisation of the conference at the Institut Henri Poincaré.