Merge branch 'bugfix/fonenantsoa/issue55' into 'master'

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/at_with_lscope.ml

src/plugins/e-acsl/at_with_lscope.mli

src/plugins/e-acsl/doc/Changelog

src/plugins/e-acsl/doc/refman/at_on-purely-logic-variables.c

.../e-acsl/doc/refman/at_on-purely-logic-variables_not-yet.c

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

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

src/plugins/e-acsl/env.ml

src/plugins/e-acsl/env.mli

src/plugins/e-acsl/loops.ml

src/plugins/e-acsl/loops.mli

src/plugins/e-acsl/lscope.ml

src/plugins/e-acsl/lscope.mli

src/plugins/e-acsl/misc.ml

src/plugins/e-acsl/misc.mli

src/plugins/e-acsl/quantif.ml

src/plugins/e-acsl/quantif.mli

src/plugins/e-acsl/tests/gmp/at_on-purely-logic-variables.c

...ests/gmp/oracle/at_on-purely-logic-variables.0.res.oracle