Application Web de typage d’un mini-ML fonctionnel et impératif. (Juste un typeur lamdba...)