4aae484 Setup of module alt-ergo

Merged and Committed by kevin 15 years ago
    Setup of module alt-ergo
    
        
file added
+0
empty file added
file added
+21
file added
+0
empty file added