Kairos

git of the I3S/inria Kairos team (http://team.inria.fr/kairos)