Notes on how to use the internal language of toposes in algebraic geometry