Software

Note that most CI are broken because of changes in the Inria CI config. I will fix it soon.

Some code: