Merge branch 'feature/thibaut/type-recursive-predicates' into 'master'

src/plugins/e-acsl/doc/Changelog

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

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

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

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

src/plugins/e-acsl/tests/arith/functions_rec.c

...lugins/e-acsl/tests/arith/oracle/functions_rec.res.oracle

src/plugins/e-acsl/tests/arith/oracle/gen_functions_rec.c