(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/11/2025, 378 ko) C04.ArbresCouvrants v2
(pdf, 30/10/2025, 367 ko) C05.langAlgebriques v2
(pdf, 30/10/2025, 305 ko) C06.Calculabilité
(pdf, 11/11/2025, 435 ko) C07.Complexité
(pdf, 12/11/2025, 305 ko) C08.Couplages