démonstration de solutions Synonym