Comme je l'ai dit en privé à Dinosaure, même si son message est intéressant, il ne répond en fait pas à ta question, puisqu'il concerne l'inférence de type dans un langage ML, alors que tu...