preuves par 9