publ.math.ihes