amaury dc7c4f0290 refactor		2025-05-16 14:20:02 +02:00
..
wconsistence_properties	refactor	2025-05-16 14:20:02 +02:00
main.tex	refactor	2025-05-16 14:20:02 +02:00
script.md	rajout de notes + debut beamer	2025-05-16 14:20:02 +02:00