Ingo Blechschmidt : Using the internal language of toposes in algebraic geometry