Améliorer la base de preuves p... Note