On Grothendieck's tame topology