Search for proofs in database

[lescuer97]

Be able to delete the proofs. Add a confirmation to be sure that this is something the user wants to do