graphes planaires Synonym