Introduction à la théorie des graphes/Post-notions