Le graphe comme outil pour enseigner la preuve et la modélisation