Logique(s) mystérieuse(s).

L’exposé comprendra au moins les trois parties suivantes:
* Les mystères du pluriel : Logique ou logiques ? ;
* Les mystères de l’induction : Les avatars de la démonstration par récurrence ;
* Les mystères de l’impossible : Comment prouver l’impossibilité d’une tâche ?.