correction du bug dans tas.ml