[Rocq-num-analysis-issues] essai