Séminaire à la FRIIAM à 14h: Sara Negri, Proofs and countermodels in labelled sequent calculi: some recent developments.