Version of the artifact associated to Maël Madon PhD thesis.