Triangles after Euclid, Gauss and Gromov