Choice whether to pin the version of each runner on all the CI/CD.

[marcboulle]

Actuellement, lors du CI/CD, on demande la version 'latest' de chaque OS.
Mais quand github fournit une nouvelle version de l'OS pour un runner, cela déclenche implicitement un portage, et peut bloquer les PR en cas d'erreur ou d'instabilités.
cf. issue Instability in BugMPIWithErrors on macos-latest: #255

Pour le moment, pour le passage à macos-14, on a corrigé les sources et modifié les références e LearningTest, puis fixé le choix de macos-14 dans .github/workflows/run-standard-tests.yml (dans dev et dev-v10)

A discuter:

1. fixer systématiquement la version de l'OS dans chaque runner du CI/CD, pour ne pas "subir" des portages de façon impromptue
2. avoir un processus automatique de détection des changements d'OS dans les versions latest des OS fournies par gitgub, pour planifier au plus tôt les portages