@article{hal-05434743,
  title = {De l’expérimentation à la preuve en mathématiques : étude de cas d’une situation issue de la recherche en optimisation combinatoire},
  author = {Mickael da Ronch and Hervé Hocquard},
  year = {2026},
  journal = {Repères IREM},
  url = {https://hal.science/hal-05434743v4}
}