1980-11-26 /decus_20tap1_198111/01/decus/20-0003/pascal.aux 1980-11-26 /decuslib20-01/01/decus/20-0003/pascal.aux