Les règles de la logique formelle moderne. Du calcul de propositions à la naissance de l'informatique....