S. Henry, Topos, Quantales et C∗-algèbres