Talk page

Title:
3/3 Catégories syntactiques pour les motifs de Nori

Speaker:
Laurent Lafforgue

Link:
https://www.youtube.com/watch?v=-e0y6d6Ryyo