Merge pull request #122 from proux01/fix-110 #370

Job	Run time
build (mathcomp/mathcomp:2.4.0-rocq-prover-dev)	14m 31s
build (mathcomp/mathcomp-dev:coq-8.20)	4m 52s
build (mathcomp/mathcomp-dev:rocq-prover-dev)	4m 38s
build (mathcomp/mathcomp-dev:rocq-prover-9.0)	4m 21s
build (mathcomp/mathcomp:2.4.0-rocq-prover-9.0)	12m 15s
build (mathcomp/mathcomp:2.4.0-coq-8.20)	4m 48s
	45m 25s

Provide feedback