preuve formelle Synonym