IRONIE. n. f.
Figure de rhétorique par laquelle on dit le contraire de ce qu'on veut faire entendre. Ce compliment n'est qu'une ironie. L'ironie abonde dans les Lettres provinciales, dans les Lettres persanes. Il a une grande facilité à manier l'ironie. Par extension,

IRONIE signifie plus ordinairement Moquerie sarcastique dans le ton ou dans l'attitude. Il l'intimidait par son ironie continuelle. Il y avait de l'ironie dans sa façon de le regarder. Il dit cela par ironie. Ironie fine. Ironie amère, cruelle. Il mit dans ses paroles une nuance d'ironie. Ironie socratique, se dit des Interrogations par lesquelles Socrate, discutant avec les sophistes, les amenait peu à peu à se contredire. Fig., Ironie du sort, Accident qui arrive à quelqu'un si fort à contretemps qu'il paraît une moquerie du sort; ou encore, Contraste étrange que présentent deux faits historiques rapprochés par quelque côté. C'est comme par une ironie du sort que le dernier empereur d'Occident s'appela Romulus Auguste.