Bonjour,
ceci pour vous informer que les hypersequents pour S5 ne feront pas partie du programme pour l'examen final.
Ceux et celles d'entre vous qui sont intéressé(e)s au sujet peuvent consulter l'article suivant :
https://shs.hal.science/halshs-00775809/document
Je reste disponible pour toute autre information,
Cordialement,
Francesca