Simon Castellan (Épicure, INRIA), TBA