Utilisation des objets de règles de preuves