@MASTERSTHESIS{GrandguillotDEA02,
  AUTHOR = {J\'er\^ome Grandguillot},
  TITLE = {R\'eutilisation de preuves: une \'etude pour le syst\`eme Foc},
  SCHOOL = {Universit\'e d'\'Evry Val d'Essone},
  YEAR = 2002,
  TYPE = {rapport de stage de {D}.{E}.{A}}
}