Backporting https://github.com/math-comp/analysis/pull/new/backport_1109 by proux01 · Pull Request #1149 · math-comp/analysis