The other side of the history of symmetries : their link with intuitionist logic