[Typer] Logique intuitionniste et les lois de la physique