Une initiation à la logique, l'art de contrôler la validité de nos raisonnements, et les apports de la logistique, discipline relativement récente qui cherche à obtenir les mêmes résultats par une formalisation extrême.