graphes connectés Synonym