@INPROCEEDINGS{MaarekCalculemus03,
  author = {Manuel Maarek and Virgile Prevosto},
  title = {FoCDoC: the documentation system of FoC},
  booktitle = {Proceedings of Calculemus},
  year = {2003},
  address = {Rome, Italie},
  month = sep,
}