arguments prouvables Synonym