Orientations sur la production de preuves