[Typer] Re: Preuve d'existence dans Typer