Logique Silvain Rideau-Kikuchi La logique inspecte les liens entre structures mathématique 70h : 42h cours + 28h TD