Preuves parfaites et preuves imparfaites