Je suis moi même sur le travail d'un inféreur de type. En réalité, j'ai pas toutes les notions que peut avoir Ptival mais je peux te donner quelques pistes déjà.

Il faut bien que tu comprends...