setenv RDS_TECHNO_NAME ./prol05.rds
setenv RDS_IN cif
setenv RDS_OUT cif                                      
