History and Pedagogy of Mathematics - HAL

In this topic, I present essentially research works that I have developed since the year 2016 in order to study the safety case of the CIGEO project. My ...