Pascal explore (Centre National de la Recherche Scientifique, 1984)