Representation de numbres et logique des propositions...