Merge branch 'fix/andre/typos' into 'master'

src/plugins/e-acsl/E_ACSL.mli

src/plugins/e-acsl/doc/refman/changes_modern.tex

src/plugins/e-acsl/dup_functions.ml

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/interval.mli

src/plugins/e-acsl/label.ml

src/plugins/e-acsl/loops.mli

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/mmodel_translate.ml

src/plugins/e-acsl/prepare_ast.mli

src/plugins/e-acsl/temporal.mli

src/plugins/e-acsl/typing.ml

src/plugins/e-acsl/typing.mli