Juste le début de l'économie de la preuve.