REVUE 2 : ajout du module Options.Dkey

src/plugins/e-acsl/src/analyses/bound_variables.ml

src/plugins/e-acsl/src/analyses/interval.ml

src/plugins/e-acsl/src/analyses/memory_tracking.ml

src/plugins/e-acsl/src/analyses/typing.ml

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

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

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

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

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

src/plugins/e-acsl/src/options.ml

src/plugins/e-acsl/src/options.mli

src/plugins/e-acsl/src/project_initializer/prepare_ast.ml