Dernier ajout : 1er février 2017.
Examen session 2 : jeudi 15/06 9h-11h30.
Liste de symboles unicodes à copier-coller (pour faire des ∀ ∃ ¬ ∧ ∨ → ℩ ⟦ ⟧ etc.)