logique de l'inférence Synonym