solutions démontrées Synonym