Gathering synchronous robots in graphs: from general properties to dense and symmetric topologies