Stav dette: Traité de logique;