Preuves, contre-exemples et conjectures