Describir: Groups, languages, and geometry :