Live de décidabilité et complexité Année scolaire 2020-2021 Présenté par Guillaume Ricou