Pascal explore : E83, (Centre de Documentation Scientifique et Technique, 1985)