PROVE est le "gaz" de l'économie de preuve.