Types de données et Preuves