Merge branch 'feature/virgile/transient-blocks' into 'stable/phosphorus'

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/env.mli

src/plugins/e-acsl/man/e-acsl-gcc.sh.1

src/plugins/e-acsl/quantif.ml

src/plugins/e-acsl/scripts/e-acsl-gcc.sh

src/plugins/e-acsl/tests/bts/oracle/gen_bts1307.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1395.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1478.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1717.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1718.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1740.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts1837.c

src/plugins/e-acsl/tests/bts/oracle/gen_bts2192.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at.c

src/plugins/e-acsl/tests/gmp/oracle/gen_at2.c

src/plugins/e-acsl/tests/runtime/local_init.c

src/plugins/e-acsl/tests/runtime/oracle/gen_early_exit.c

...ugins/e-acsl/tests/runtime/oracle/gen_function_contract.c

src/plugins/e-acsl/tests/runtime/oracle/gen_labeled_stmt.c

src/plugins/e-acsl/tests/runtime/oracle/gen_linear_search.c