preuves exemples