Traces un peu clean, il y a quelque chose à gérer quand on on traduit l'expression d'un cas en lambda (dans translcore). C'est là où j'affiche l'environnement (dans translcase).