[Typer] Re: Boucle infinie - Typechecking d'un case qui utilise la preuve d'égalité insérée dans le contexte