The laby team (authors and contributors):
  Stéphane Gimenez <gimenez@pps.jussieu.fr>
  Pierre-Malo Dénielou <pierre-malo.denielou@inria.fr>
  Stéphane Glondu <glondu@pps.jussieu.fr>
  Grégoire Henry <henry@pps.jussieu.fr>
  Vincent Balat <balat@pps.jussieu.fr>
