Merge branch 'bugfix/basile/array-index' into 'master'

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/src/code_generator/memory_translate.ml

src/plugins/e-acsl/src/code_generator/temporal.ml

src/plugins/e-acsl/src/libraries/misc.ml

src/plugins/e-acsl/src/libraries/misc.mli

src/plugins/e-acsl/tests/arith/oracle_ci/gen_array.c

src/plugins/e-acsl/tests/arith/oracle_ci/gen_quantif.c

src/plugins/e-acsl/tests/bts/oracle_ci/gen_bts1326.c

src/plugins/e-acsl/tests/memory/array_overflow.c

...s/e-acsl/tests/memory/oracle_ci/array_overflow.res.oracle

...lugins/e-acsl/tests/memory/oracle_ci/gen_array_overflow.c

...e-acsl/tests/memory/oracle_ci/gen_compound_initializers.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_ptr.c

...ns/e-acsl/tests/memory/oracle_ci/gen_ranges_in_builtins.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_separated.c

src/plugins/e-acsl/tests/memory/oracle_ci/gen_vector.c

...csl/tests/memory/oracle_dev/array_overflow.e-acsl.err.log

...ugins/e-acsl/tests/temporal/oracle_ci/gen_t_addr-by-val.c

src/plugins/e-acsl/tests/temporal/oracle_ci/gen_t_darray.c