formats de déduction Synonym