Merge branch anastat-frama-c-24-25:main into main

.gitignore

Cours/README.md

Cours/config/01-numeric.c

Cours/config/02-address.c

Cours/config/03-address_written.c

Cours/config/04-cast.c

Cours/config/05-domains.c

Cours/config/06-simple.c

Cours/config/07-slevel.c

Cours/config/08-split.c

Cours/config/09-context.c

Cours/config/10-context-driver.c

Cours/cours1.pdf

Cours/cours2.pdf

Pystan/config/cfg.py

Pystan/config/constant_propagation.py

Pystan/config/example_constant_propagation.py

Pystan/config/example_iteration.py

Pystan/config/example_opsem.py

Pystan/config/iteration.py