preuves a posteriori