:ext:fdedinec@lipforge.ens-lyon.fr:/local/chroot/cvsroot/crlibm
