Index of /~rubi

      Name                    Last modified       Size  Description

[DIR] Parent Directory 20-Oct-1999 16:45 - [DIR] CA_Universite/ 14-Mar-2000 15:27 - [DIR] administration/ 03-Dec-1997 16:29 - [DIR] visit/ 11-Sep-1998 11:50 -