REVUE 2 : remplace Error_types.or_error par Result.t

src/plugins/e-acsl/Makefile.in

src/plugins/e-acsl/headers/header_spec.txt

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

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

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

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

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

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

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