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

Cours/cours3.pdf

Pystan/config/example_interval.py

Pystan/config/example_interval_eval_exp.py

Pystan/config/example_interval_reduce.py

Pystan/config/example_sign.py

Pystan/config/example_sign_eval_exp.py

Pystan/config/example_sign_reduce.py

Pystan/config/example_widen.py

Pystan/config/interval_analysis.py

Pystan/config/sign_analysis.py

Pystan/tp2.md