How to draw a regular octagon knowing the length of one side