Cours9 mars 2026Quentin FortierProfesseur d'informatiqueSujet "Sémantique pour la logique intuitionniste".