L'humour est la politesse du sourire; l'ironie, le rictus de la méchanceté.