tools.ml

substitute fonctionnel