; TeX output 2001.10.31:1005soUsGGecrm1728LehpacykageBCGGecss1728identrst!", cmsy10~ ecrm1200DawvidlCarlisletBDcarlisle@cs.man.ac.ukoTeraduitldel'anglaispar: . Jean-PierrelDrucbSert&2!1995/11/23#π! u ecbx0900Rsum鎟 S