I am currently a post-doctoral fellow at INRIA Paris, team MokaPlan, under the supervision of T. Gallou√ęt and Y. de Castro.