Adapt to https://github.com/math-comp/math-comp/pull/1545#1860

proux01 wants to merge 1 commit intomath-comp:mastermath-comp/analysis:masterfrom

proux01:mc1545proux01/analysis:mc1545Copy head branch name to clipboard