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