Topos : Probability, logics and exactitude (1999)