exploration des types Synonym