(mp4, 02/11/2025, 20 Mo) Arrêt est indécidable
(pdf, 07/09/2025, 299 ko) C01.rationnels
(pdf, 07/09/2025, 340 ko) C02.dfs
(pdf, 01/10/2025, 462 ko) C03.automates
(pdf, 07/10/2025, 377 ko) C04.ArbresCouvrants
(pdf, 30/10/2025, 367 ko) C05.langAlgebriques v2
(pdf, 30/10/2025, 305 ko) C06.Calculabilité