Perturbations singulières des équations différentielles ordinaires et analyse non-standard Pierre Cartier (1981/1982) Séminaire Bourbaki
Présentation de la logique combinatoire en vue de ses applications Jean-Pierre Ginisti (1988) Mathématiques et Sciences Humaines