ftp.inria.fr:INRIA/Projects/formel/cct/