créneau 1 (episode 1.1)

J'aurai un mot à dire sur :
Tonk, Harmonie et logiques substructurelles. De la difficulté de formuler correctement des règles d'intro/élim en déduction naturelle substructurelle.