Pascal folio (Centre National de la Recherche Scientifique, 1987)